home *** CD-ROM | disk | FTP | other *** search
/ CU Amiga Super CD-ROM 22 / CU Amiga Magazine's Super CD-ROM 22 (1998)(EMAP Images)(GB)[!][issue 1998-05].iso / PowerPC / Programming / PPCSmallEiffel / bin_c / compile_to_c35.c < prev    next >
C/C++ Source or Header  |  1998-01-16  |  117KB  |  3,408 lines
  1. /*
  2. -- ANSI C code generated by :
  3. -- SmallEiffel The GNU Eiffel Compiler -- Release (- 0.82)      --
  4. -- Copyright (C), 1994-98 - LORIA - UHP - CRIN - INRIA - FRANCE --
  5. -- Dominique COLNET and Suzanne COLLIN -    colnet@loria.fr     --
  6. --                 http://www.loria.fr/SmallEiffel              --
  7. */
  8. #include "compile_to_c.h"
  9. /*No:TMP_FEATURE.arguments*/
  10. T0* r505n(void){
  11. T0* R=NULL;
  12. {T953*n=malloc(sizeof(*n));
  13. *n=M953;
  14. r953make(n,r855twin(((T855*)(oBC505names))));
  15. R=(T0*)n;
  16. }
  17. return R;
  18. }
  19. T0* r505to_cst_att_integer(T505* C,T0* a1){
  20. T0* R=NULL;
  21. /*IF*/if (((((T505*)C))->_type/*4*/)!=((void*)(NULL))) {
  22. /*IF*/if (X291is_integer((((T505*)C))->_type/*4*/)) {
  23. {T689*n=malloc(sizeof(*n));
  24. *n=M689;
  25. r689make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
  26. R=(T0*)n;
  27. }
  28. }
  29.  else if (X291is_real((((T505*)C))->_type/*4*/)) {
  30. {T835*n=malloc(sizeof(*n));
  31. *n=M835;
  32. r835make(n,r505n(),(((T505*)C))->_type/*4*/,r342to_real_constant(((T342*)a1)));
  33. R=(T0*)n;
  34. }
  35. }
  36.  else if (X291is_double((((T505*)C))->_type/*4*/)) {
  37. {T118*n=malloc(sizeof(*n));
  38. *n=M118;
  39. r118make(n,r505n(),(((T505*)C))->_type/*4*/,r342to_real_constant(((T342*)a1)));
  40. R=(T0*)n;
  41. }
  42. }
  43. else {
  44. r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms6_505));
  45. }
  46. /*FI*/}
  47. else {
  48. r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms7_505));
  49. }
  50. /*FI*/return R;
  51. }
  52. /*No:TMP_FEATURE.add_synonym*/
  53. /*No:TMP_FEATURE.set_type*/
  54. T0* r505to_writable_attribute(T505* C){
  55. T0* R=NULL;
  56. /*IF*/if (((((T505*)C))->_type/*4*/)==((void*)(NULL))) {
  57. r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms1_505));
  58. }
  59.  else if (((((T505*)C))->_arguments/*0*/)!=((void*)(NULL))) {
  60. r505error(r818current_position(((T818*)(oBC364eiffel_parser))),((T0*)ms2_505));
  61. }
  62. /*FI*/{T106*n=malloc(sizeof(*n));
  63. *n=M106;
  64. r106make(n,r505n(),(((T505*)C))->_type/*4*/);
  65. R=(T0*)n;
  66. }
  67. return R;
  68. }
  69. T0* r505to_cst_att_boolean(T505* C,T0* a1){
  70. T0* R=NULL;
  71. /*IF*/if ((((((T505*)C))->_type/*4*/)!=((void*)(NULL)))&&(X291is_boolean((((T505*)C))->_type/*4*/))) {
  72. {T580*n=malloc(sizeof(*n));
  73. *n=M580;
  74. r580make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
  75. R=(T0*)n;
  76. }
  77. }
  78. else {
  79. r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms3_505));
  80. }
  81. /*FI*/return R;
  82. }
  83. /*No:TMP_FEATURE.type*/
  84. /*No:TMP_FEATURE.local_vars*/
  85. /*No:TMP_FEATURE.set_header_comment*/
  86. void r505set_require(T505* C,T0* a1,T0* a2,T0* a3){
  87. /*IF*/if (((a2)!=((void*)(NULL)))||((a3)!=((void*)(NULL)))) {
  88. {T343*n=malloc(sizeof(*n));
  89. *n=M343;
  90. r343make(n,a1,a2,a3);
  91. C->_require_assertion=(T0*)n;
  92. }
  93. }
  94. /*FI*/}
  95. /*No:TMP_FEATURE.set_local_vars*/
  96. T0* r505to_deferred_routine(T505* C){
  97. T0* R=NULL;
  98. /*IF*/if (((((T505*)C))->_type/*4*/)==((void*)(NULL))) {
  99. {T853*n=malloc(sizeof(*n));
  100. *n=M853;
  101. /*[IRF3.6make*/{T853* C1=n;
  102. T0* b1=r505n();
  103. T0* b2=(((T505*)C))->_arguments/*0*/;
  104. T0* b3=(((T505*)C))->_obsolete_mark/*12*/;
  105. T0* b4=(((T505*)C))->_header_comment/*8*/;
  106. T0* b5=(((T505*)C))->_require_assertion/*16*/;
  107. r853make_routine(C1,b1,b2,b3,b4,b5);
  108. }/*]*/
  109. R=(T0*)n;
  110. }
  111. }
  112. else {
  113. {T649*n=malloc(sizeof(*n));
  114. *n=M649;
  115. r649make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_type/*4*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/);
  116. R=(T0*)n;
  117. }
  118. }
  119. /*FI*/return R;
  120. }
  121. T0* r505to_procedure_or_function(T505* C){
  122. T0* R=NULL;
  123. /*IF*/if (((((T505*)C))->_type/*4*/)==((void*)(NULL))) {
  124. {T297*n=malloc(sizeof(*n));
  125. *n=M297;
  126. r297make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/,(((T505*)C))->_local_vars/*20*/,(((T505*)C))->_routine_body/*24*/);
  127. R=(T0*)n;
  128. }
  129. }
  130. else {
  131. {T696*n=malloc(sizeof(*n));
  132. *n=M696;
  133. r696make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_type/*4*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/,(((T505*)C))->_local_vars/*20*/,(((T505*)C))->_routine_body/*24*/);
  134. R=(T0*)n;
  135. }
  136. }
  137. /*FI*/return R;
  138. }
  139. /*No:TMP_FEATURE.obsolete_mark*/
  140. /*No:TMP_FEATURE.require_assertion*/
  141. T0*oBC505names=NULL;
  142. T0* r505to_cst_att_real(T505* C,T0* a1){
  143. T0* R=NULL;
  144. /*IF*/if (((((T505*)C))->_type/*4*/)!=((void*)(NULL))) {
  145. /*IF*/if (X291is_real((((T505*)C))->_type/*4*/)) {
  146. {T835*n=malloc(sizeof(*n));
  147. *n=M835;
  148. r835make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
  149. R=(T0*)n;
  150. }
  151. }
  152.  else if (X291is_double((((T505*)C))->_type/*4*/)) {
  153. {T118*n=malloc(sizeof(*n));
  154. *n=M118;
  155. r118make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
  156. R=(T0*)n;
  157. }
  158. }
  159. else {
  160. r683add_position((((T936*)((T936*)a1)))->_start_position/*12*/);
  161. r683add_position(X776start_position(r855first(((T855*)(oBC505names)))));
  162. /*[IRF3.6fatal_error*/{T0* b1=((T0*)ms8_505);
  163. r683fatal_error(((T683*)(oBC364eh)),b1);
  164. }/*]*/
  165. }
  166. /*FI*/}
  167. else {
  168. r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms9_505));
  169. }
  170. /*FI*/return R;
  171. }
  172. /*No:TMP_FEATURE.set_arguments*/
  173. T0* r505to_cst_att_string(T505* C,T0* a1){
  174. T0* R=NULL;
  175. /*IF*/if ((((((T505*)C))->_type/*4*/)!=((void*)(NULL)))&&(X291is_string((((T505*)C))->_type/*4*/))) {
  176. {T380*n=malloc(sizeof(*n));
  177. *n=M380;
  178. r380make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
  179. R=(T0*)n;
  180. }
  181. }
  182. else {
  183. r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms10_505));
  184. }
  185. /*FI*/return R;
  186. }
  187. /*No:TMP_FEATURE.header_comment*/
  188. /*No:TMP_FEATURE.set_routine_body*/
  189. /*No:TMP_FEATURE.routine_body*/
  190. T0* r505to_external_routine(T505* C,T0* a1,T0* a2){
  191. T0* R=NULL;
  192. /*IF*/if (((((T505*)C))->_type/*4*/)==((void*)(NULL))) {
  193. {T883*n=malloc(sizeof(*n));
  194. *n=M883;
  195. r883make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/,a1,a2);
  196. R=(T0*)n;
  197. }
  198. }
  199. else {
  200. {T679*n=malloc(sizeof(*n));
  201. *n=M679;
  202. r679make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_type/*4*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/,a1,a2);
  203. R=(T0*)n;
  204. }
  205. }
  206. /*FI*/return R;
  207. }
  208. T0* r505to_cst_att_unique(T505* C){
  209. T0* R=NULL;
  210. T0* _sp=NULL;
  211. /*IF*/if (((((T505*)C))->_type/*4*/)==((void*)(NULL))) {
  212. _sp=X776start_position(r855first(((T855*)(oBC505names))));
  213. r505error(_sp,((T0*)ms11_505));
  214. }
  215. /*FI*//*IF*/if (!(X291is_integer((((T505*)C))->_type/*4*/))) {
  216. r505error(X291start_position((((T505*)C))->_type/*4*/),((T0*)ms12_505));
  217. }
  218. /*FI*/{T398*n=malloc(sizeof(*n));
  219. *n=M398;
  220. r398make(n,r505n(),(((T505*)C))->_type/*4*/);
  221. R=(T0*)n;
  222. }
  223. return R;
  224. }
  225. T0* r505to_cst_att_character(T505* C,T0* a1){
  226. T0* R=NULL;
  227. /*IF*/if ((((((T505*)C))->_type/*4*/)!=((void*)(NULL)))&&(X291is_character((((T505*)C))->_type/*4*/))) {
  228. {T554*n=malloc(sizeof(*n));
  229. *n=M554;
  230. r554make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
  231. R=(T0*)n;
  232. }
  233. }
  234. else {
  235. r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms5_505));
  236. }
  237. /*FI*/return R;
  238. }
  239. void r505error(T0* a1,T0* a2){
  240. r683add_position(a1);
  241. r683error(((T683*)(oBC364eh)),a2);
  242. }
  243. /*No:TMP_FEATURE.fatal_error*/
  244. void r505set_require_else(T505* C,T0* a1,T0* a2,T0* a3){
  245. /*IF*/if (((a2)!=((void*)(NULL)))||((a3)!=((void*)(NULL)))) {
  246. {T343*n=malloc(sizeof(*n));
  247. *n=M343;
  248. r343make(n,a1,a2,a3);
  249. C->_require_assertion=(T0*)n;
  250. }
  251. /*[IRF3.3set_require_else*/((((T343*)(((T343*)((((T505*)C))->_require_assertion/*16*/)))))->_is_require_else)=(1);
  252. /*]*/
  253. }
  254. /*FI*/}
  255. void r505initialize(T505* C){
  256. r855clear(((T855*)(oBC505names)));
  257. C->_arguments=NULL;
  258. C->_type=NULL;
  259. C->_header_comment=NULL;
  260. C->_obsolete_mark=NULL;
  261. C->_require_assertion=NULL;
  262. C->_local_vars=NULL;
  263. C->_routine_body=NULL;
  264. }
  265. /*No:TMP_FEATURE.set_obsolete_mark*/
  266. T0* r505to_cst_att_bit(T505* C,T0* a1){
  267. T0* R=NULL;
  268. /*IF*/if ((((((T505*)C))->_type/*4*/)!=((void*)(NULL)))&&(X291is_bit((((T505*)C))->_type/*4*/))) {
  269. {T588*n=malloc(sizeof(*n));
  270. *n=M588;
  271. r588make(n,r505n(),(((T505*)C))->_type/*4*/,a1);
  272. R=(T0*)n;
  273. }
  274. }
  275. else {
  276. r505error(X776start_position(r855first(((T855*)(oBC505names)))),((T0*)ms4_505));
  277. }
  278. /*FI*/return R;
  279. }
  280. T0* r505to_once_routine(T505* C){
  281. T0* R=NULL;
  282. /*IF*/if (((((T505*)C))->_type/*4*/)==((void*)(NULL))) {
  283. {T134*n=malloc(sizeof(*n));
  284. *n=M134;
  285. r134make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/,(((T505*)C))->_local_vars/*20*/,(((T505*)C))->_routine_body/*24*/);
  286. R=(T0*)n;
  287. }
  288. }
  289. else {
  290. {T844*n=malloc(sizeof(*n));
  291. *n=M844;
  292. r844make(n,r505n(),(((T505*)C))->_arguments/*0*/,(((T505*)C))->_type/*4*/,(((T505*)C))->_obsolete_mark/*12*/,(((T505*)C))->_header_comment/*8*/,(((T505*)C))->_require_assertion/*16*/,(((T505*)C))->_local_vars/*20*/,(((T505*)C))->_routine_body/*24*/);
  293. R=(T0*)n;
  294. }
  295. }
  296. /*FI*/return R;
  297. }
  298. void r544connect_to(T544* C,T0* a1){
  299. C->_output_stream=fopen(r7to_external(((T7*)a1)),"w");
  300. /*IF*/if ((NULL!=(((T544*)C))->_output_stream/*4*/)) {
  301. C->_path=a1;
  302. }
  303. /*FI*/}
  304. /*No:STD_FILE_WRITE.make*/
  305. void r544disconnect(T544* C){
  306. fclose((((T544*)C))->_output_stream/*4*/);
  307. C->_path=NULL;
  308. }
  309. /*No:STD_FILE_WRITE.path*/
  310. /*No:STD_FILE_WRITE.output_stream*/
  311. /*No:STD_FILE_WRITE.is_connected*/
  312. void r544put_string(T544* C,T0* a1){
  313. int _i=0;
  314. _i=1;
  315. while (!((_i)>((((T7*)((T7*)a1)))->_count/*4*/))) {
  316. /*[IRF3.6put_character*/{T544* C1=C;
  317. char b1=/*(IRF4.6item*/((((T7*)((T7*)a1)))->_storage/*0*/)[(_i)-(1)]/*)*/;
  318. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  319. }/*]*/
  320. _i=(_i)+(1);
  321. }
  322. }
  323. void r544put_integer(T544* C,int a1){
  324. /*[IRF3.3clear*/((((T7*)(((T7*)(oBC817tmp_string)))))->_count)=(0);
  325. /*]*/
  326. r2append_in(a1,oBC817tmp_string);
  327. r544put_string(C,oBC817tmp_string);
  328. }
  329. /*No:STD_FILE_WRITE.put_character*/
  330. /*No:RENAME_PAIR.new_name*/
  331. void r498make(T498* C,T0* a1,T0* a2){
  332. /*IF*/if ((X776to_string(a1))==((void*)(X776to_string(a2)))) {
  333. r683add_position(X776start_position(a1));
  334. r683add_position(X776start_position(a2));
  335. /*[IRF3.6fatal_error*/{T0* b1=((T0*)ms1_498);
  336. r683fatal_error(((T683*)(oBC364eh)),b1);
  337. }/*]*/
  338. }
  339. /*FI*/C->_old_name=a1;
  340. C->_new_name=a2;
  341. }
  342. /*No:RENAME_PAIR.fatal_error*/
  343. /*No:RENAME_PAIR.old_name*/
  344. int r523id(T523* C){
  345. int R=0;
  346. R=(((T355*)((T355*)(r523run_class(C)))))->_id/*4*/;
  347. return R;
  348. }
  349. T0*oBC523tmp_written_mark=NULL;
  350. int r523standard_space_for_object(T523* C){
  351. int R=0;
  352. int _i=0;
  353. T0* _a=NULL;
  354. T0* _wa=NULL;
  355. T0* _rc=NULL;
  356. _rc=r523run_class(C);
  357. /*IF*/if (r355is_tagged(((T355*)_rc))) {
  358. R=r523space_for_integer();
  359. }
  360. /*FI*/_wa=r355writable_attributes(((T355*)_rc));
  361. /*IF*/if ((_wa)!=((void*)(NULL))) {
  362. _i=(((T280*)((T280*)_wa)))->_upper/*12*/;
  363. while (!((_i)==(0))) {
  364. _a=r280item(((T280*)_wa),_i);
  365. R=(R)+(X291space_for_variable((((T820*)((T820*)_a)))->_result_type/*24*/));
  366. _i=(_i)-(1);
  367. }
  368. }
  369. /*FI*/return R;
  370. }
  371. int r523has_creation(T523* C,T0* a1){
  372. int R=0;
  373. R=r605has_creation(((T605*)(r523base_class(C))),a1);
  374. return R;
  375. }
  376. /*No:TYPE_EXPANDED.is_anchored*/
  377. /*No:TYPE_EXPANDED.is_array*/
  378. /*No:TYPE_EXPANDED.fz_typedef*/
  379. int r523is_a(T523* C,T0* a1){
  380. int R=0;
  381. R=((((T523*)C))->_run_time_mark/*16*/)==((void*)(X291run_time_mark(a1)));
  382. /*IF*/if (!(R)) {
  383. r683add_type((T0*)C,((T0*)ms71_470));
  384. r683add_type(a1,((T0*)ms67_470));
  385. }
  386. /*FI*/return R;
  387. }
  388. void r523c_initialize_in(T523* C,T0* a1){
  389. /*IF*/if (r523is_basic_eiffel_expanded(C)) {
  390. X291c_initialize_in((((T523*)C))->_run_type/*20*/,a1);
  391. }
  392. else {
  393. /*IF*/if (r523need_c_struct(C)) {
  394. r355c_object_model_in(((T355*)(r523run_class(C))),a1);
  395. }
  396. else {
  397. r7extend(((T7*)a1),'0');
  398. }
  399. /*FI*/}
  400. /*FI*/}
  401. void r523c_type_for_argument_in(T523* C,T0* a1){
  402. /*IF*/if (X291is_expanded((((T523*)C))->_mapped/*12*/)) {
  403. X291c_type_for_argument_in((((T523*)C))->_mapped/*12*/,a1);
  404. }
  405.  else if (r523is_dummy_expanded(C)) {
  406. r7append(((T7*)a1),((T0*)ms111_470));
  407. }
  408. else {
  409. r7extend(((T7*)a1),'T');
  410. r2append_in(r523id(C),a1);
  411. r7extend(((T7*)a1),'\52');
  412. }
  413. /*FI*/}
  414. void r523standard_c_object_model(T523* C){
  415. T0* _rc=NULL;
  416. int _mem_id=0;
  417. T0* _wa=NULL;
  418. _rc=r523run_class(C);
  419. _mem_id=(((T355*)((T355*)_rc)))->_id/*4*/;
  420. _wa=r355writable_attributes(((T355*)_rc));
  421. r7copy(((T7*)(oBC291tmp_string)),((T0*)ms103_470));
  422. r7extend(((T7*)(oBC291tmp_string)),'T');
  423. r2append_in(_mem_id,oBC291tmp_string);
  424. r7extend(((T7*)(oBC291tmp_string)),'\40');
  425. r7extend(((T7*)(oBC291tmp_string)),'M');
  426. r2append_in(_mem_id,oBC291tmp_string);
  427. r7append(((T7*)(oBC291tmp_string)),((T0*)ms134_470));
  428. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC291tmp_string);
  429. /*]*/
  430. /*[IRF3.3swap_on_c*/((((T324*)(((T324*)(oBC364cpp)))))->_current_out)=(oBC324out_c);
  431. /*]*/
  432. /*[IRF3.3clear*/((((T7*)(((T7*)(oBC291tmp_string)))))->_count)=(0);
  433. /*]*/
  434. r7extend(((T7*)(oBC291tmp_string)),'T');
  435. r2append_in(_mem_id,oBC291tmp_string);
  436. r7extend(((T7*)(oBC291tmp_string)),'\40');
  437. r7extend(((T7*)(oBC291tmp_string)),'M');
  438. r2append_in(_mem_id,oBC291tmp_string);
  439. r7extend(((T7*)(oBC291tmp_string)),'\75');
  440. r355c_object_model_in(((T355*)_rc),oBC291tmp_string);
  441. r7append(((T7*)(oBC291tmp_string)),((T0*)ms134_470));
  442. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC291tmp_string);
  443. /*]*/
  444. r324swap_on_h(((T324*)(oBC364cpp)));
  445. }
  446. void r523gc_call_new_in(T523* C,T0* a1){
  447. r7append(((T7*)a1),((T0*)ms115_470));
  448. r2append_in(r523id(C),a1);
  449. r7extend(((T7*)a1),'\50');
  450. r7extend(((T7*)a1),'\51');
  451. }
  452. /*No:TYPE_EXPANDED.fz_se_cmpt*/
  453. int r523is_pointer(T523* C){
  454. int R=0;
  455. R=X291is_pointer((((T523*)C))->_mapped/*12*/);
  456. return R;
  457. }
  458. /*No:TYPE_EXPANDED.run_type*/
  459. int r523is_dummy_expanded(T523* C){
  460. int R=0;
  461. /*IF*/if (r523is_user_expanded(C)) {
  462. R=(r355writable_attributes(((T355*)(r523run_class(C)))))==((void*)(NULL));
  463. }
  464. /*FI*/return R;
  465. }
  466. /*No:TYPE_EXPANDED.is_string*/
  467. /*No:TYPE_EXPANDED.space_for_variable*/
  468. void r523standard_c_struct(T523* C){
  469. T0* _t=NULL;
  470. T0* _a=NULL;
  471. int _mem_id=0;
  472. int _i=0;
  473. T0* _wa=NULL;
  474. _mem_id=r523id(C);
  475. _wa=r355writable_attributes(((T355*)(r523run_class(C))));
  476. r7copy(((T7*)(oBC291tmp_string)),((T0*)ms125_470));
  477. r7extend(((T7*)(oBC291tmp_string)),'S');
  478. r2append_in(_mem_id,oBC291tmp_string);
  479. r7extend(((T7*)(oBC291tmp_string)),'\173');
  480. /*IF*//*AF*//*AE*/
  481. /*FI*//*IF*/if ((_wa)!=((void*)(NULL))) {
  482. _i=(((T280*)((T280*)_wa)))->_upper/*12*/;
  483. while (!((_i)==(0))) {
  484. _a=r280item(((T280*)_wa),_i);
  485. _t=X291run_type((((T820*)((T820*)_a)))->_result_type/*24*/);
  486. X291c_type_for_result_in(_t,oBC291tmp_string);
  487. r7extend(((T7*)(oBC291tmp_string)),'\40');
  488. r7extend(((T7*)(oBC291tmp_string)),'\137');
  489. r7append(((T7*)(oBC291tmp_string)),X776to_string((((T820*)((T820*)_a)))->_name/*16*/));
  490. r7extend(((T7*)(oBC291tmp_string)),'\73');
  491. _i=(_i)-(1);
  492. }
  493. }
  494. /*FI*/r7extend(((T7*)(oBC291tmp_string)),'\175');
  495. r7append(((T7*)(oBC291tmp_string)),((T0*)ms134_470));
  496. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC291tmp_string);
  497. /*]*/
  498. /*IF*/{/*AT*/r7copy(((T7*)(oBC291tmp_string)),((T0*)ms111_470));
  499. r7extend(((T7*)(oBC291tmp_string)),'\40');
  500. r7append(((T7*)(oBC291tmp_string)),((T0*)ms122_470));
  501. r2append_in(_mem_id,oBC291tmp_string);
  502. r7append(((T7*)(oBC291tmp_string)),((T0*)ms5_291));
  503. r2append_in(_mem_id,oBC291tmp_string);
  504. r7append(((T7*)(oBC291tmp_string)),((T0*)ms6_291));
  505. r2append_in(_mem_id,oBC291tmp_string);
  506. r7append(((T7*)(oBC291tmp_string)),((T0*)ms7_291));
  507. r324put_c_function(((T324*)(oBC364cpp)),oBC291tmp_string,((T0*)ms8_291));
  508. }
  509. /*FI*/}
  510. /*No:TYPE_EXPANDED.is_like_feature*/
  511. T0* r523compute_mark(T0* a1){
  512. T0* R=NULL;
  513. r7copy(((T7*)(oBC523tmp_written_mark)),((T0*)ms14_470));
  514. r7extend(((T7*)(oBC523tmp_written_mark)),'\40');
  515. r7append(((T7*)(oBC523tmp_written_mark)),a1);
  516. R=r902item(oBC523tmp_written_mark);
  517. return R;
  518. }
  519. /*No:TYPE_EXPANDED.is_like_current*/
  520. void r523make(T523* C,T0* a1,T0* a2){
  521. C->_start_position=a1;
  522. C->_mapped=a2;
  523. C->_written_mark=r523compute_mark(X291written_mark((((T523*)C))->_mapped/*12*/));
  524. }
  525. void r523mapping_cast(T523* C){
  526. /*[IRF3.3clear*/((((T7*)(((T7*)(oBC291tmp_string)))))->_count)=(0);
  527. /*]*/
  528. r7extend(((T7*)(oBC291tmp_string)),'\50');
  529. r523c_type_for_target_in(C,oBC291tmp_string);
  530. r7extend(((T7*)(oBC291tmp_string)),'\51');
  531. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC291tmp_string);
  532. /*]*/
  533. }
  534. /*No:TYPE_EXPANDED.start_position*/
  535. void r523c_type_for_target_in(T523* C,T0* a1){
  536. /*IF*/if (r523is_dummy_expanded(C)) {
  537. r7append(((T7*)a1),((T0*)ms111_470));
  538. }
  539. else {
  540. r7extend(((T7*)a1),'T');
  541. r2append_in(r523id(C),a1);
  542. r7extend(((T7*)a1),'\52');
  543. }
  544. /*FI*/}
  545. /*No:TYPE_EXPANDED.fz_gc_mark*/
  546. /*No:TYPE_EXPANDED.fz_inako*/
  547. /*No:TYPE_EXPANDED.gc_initialize*/
  548. /*No:TYPE_EXPANDED.fz_00*/
  549. int r523is_character(T523* C){
  550. int R=0;
  551. R=X291is_character((((T523*)C))->_mapped/*12*/);
  552. return R;
  553. }
  554. int r523is_user_expanded(T523* C){
  555. int R=0;
  556. /*IF*/if (X291is_basic_eiffel_expanded((((T523*)C))->_mapped/*12*/)) {
  557. }
  558. else {
  559. R=1;
  560. }
  561. /*FI*/return R;
  562. }
  563. /*No:TYPE_EXPANDED.written_mark*/
  564. /*No:TYPE_EXPANDED.is_run_type*/
  565. T0* r523to_runnable(T523* C,T0* a1){
  566. T0* R=NULL;
  567. T0* _m=NULL;
  568. /*IF*/if (((((T523*)C))->_run_type/*20*/)==((void*)(C))) {
  569. R=(T0*)C;
  570. }
  571.  else if (((((T523*)C))->_run_type/*20*/)==((void*)((((T523*)C))->_mapped/*12*/))) {
  572. R=(T0*)C;
  573. }
  574. else {
  575. _m=X291to_runnable((((T523*)C))->_mapped/*12*/,a1);
  576. /*IF*/if ((_m)==((void*)(NULL))) {
  577. r683add_position((((T523*)C))->_start_position/*4*/);
  578. /*[IRF3.6fatal_error*/{T0* b1=((T0*)ms1_523);
  579. r683fatal_error(((T683*)(oBC364eh)),b1);
  580. }/*]*/
  581. }
  582. /*FI*//*IF*/if (((((T523*)C))->_run_type/*20*/)!=((void*)(NULL))) {
  583. {T523*n=malloc(sizeof(*n));
  584. *n=M523;
  585. r523from_other(n,(T0*)C,X291run_type(_m));
  586. R=(T0*)n;
  587. }
  588. }
  589.  else if (X291is_expanded(_m)) {
  590. C->_run_type=_m;
  591. C->_run_time_mark=X291run_time_mark(_m);
  592. R=(T0*)C;
  593. }
  594.  else if (((((T523*)C))->_mapped/*12*/)==((void*)(X291run_type(_m)))) {
  595. C->_run_time_mark=r523compute_mark(X291run_time_mark(_m));
  596. C->_run_type=(T0*)C;
  597. R=(T0*)C;
  598. }
  599. else {
  600. C->_run_time_mark=r523compute_mark(X291run_time_mark(_m));
  601. {T523*n=malloc(sizeof(*n));
  602. *n=M523;
  603. r523from_other(n,(T0*)C,X291run_type(_m));
  604. C->_run_type=(T0*)n;
  605. }
  606. R=(T0*)C;
  607. }
  608. /*FI*/r355set_at_run_time(((T355*)(X291run_class((((T523*)((T523*)R)))->_run_type/*20*/))));
  609. }
  610. /*FI*/return R;
  611. }
  612. void r523c_type_for_external_in(T523* C,T0* a1){
  613. /*IF*//*AF*//*AE*/
  614. r523c_type_for_result_in(C,a1);
  615. /*FI*/}
  616. T0* r523generic_list(T523* C){
  617. T0* R=NULL;
  618. R=X291generic_list((((T523*)C))->_mapped/*12*/);
  619. return R;
  620. }
  621. /*No:TYPE_EXPANDED.is_formal_generic*/
  622. void r523demangling_in(T523* C,T0* a1){
  623. /*IF*//*AF*//*AE*/
  624. r7extend(((T7*)a1),'E');
  625. /*FI*/r7extend(((T7*)a1),'\40');
  626. r7append(((T7*)a1),(((T523*)C))->_run_time_mark/*16*/);
  627. }
  628. void r523c_initialize_expanded(T523* C){
  629. T0* _rf=NULL;
  630. int _i=0;
  631. T0* _wa=NULL;
  632. /*IF*/if (r523is_dummy_expanded(C)) {
  633. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  634. char b1='0';
  635. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  636. }/*]*/
  637. /*]*/
  638. }
  639. else {
  640. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  641. char b1='\173';
  642. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  643. }/*]*/
  644. /*]*/
  645. _wa=r355writable_attributes(((T355*)(r523run_class(C))));
  646. _i=(((T280*)((T280*)_wa)))->_upper/*12*/;
  647. while (!((_i)==(0))) {
  648. _rf=r280item(((T280*)_wa),_i);
  649. X291c_initialize((((T820*)((T820*)_rf)))->_result_type/*24*/);
  650. _i=(_i)-(1);
  651. /*IF*/if ((_i)>(0)) {
  652. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  653. char b1='\54';
  654. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  655. }/*]*/
  656. /*]*/
  657. }
  658. /*FI*/}
  659. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  660. char b1='\175';
  661. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  662. }/*]*/
  663. /*]*/
  664. }
  665. /*FI*/}
  666. int r523is_real(T523* C){
  667. int R=0;
  668. R=X291is_real((((T523*)C))->_mapped/*12*/);
  669. return R;
  670. }
  671. int r523is_bit(T523* C){
  672. int R=0;
  673. R=X291is_bit((((T523*)C))->_mapped/*12*/);
  674. return R;
  675. }
  676. /*No:TYPE_EXPANDED.fz_new*/
  677. T0* r523smallest_ancestor(T523* C,T0* a1){
  678. T0* R=NULL;
  679. /*IF*/if (((((T523*)C))->_run_time_mark/*16*/)==((void*)(X291run_time_mark(a1)))) {
  680. R=(((T523*)C))->_run_type/*20*/;
  681. }
  682. else {
  683. R=X291run_type(X291smallest_ancestor((((T523*)C))->_mapped/*12*/,a1));
  684. }
  685. /*FI*/return R;
  686. }
  687. int r523is_boolean(T523* C){
  688. int R=0;
  689. R=X291is_boolean((((T523*)C))->_mapped/*12*/);
  690. return R;
  691. }
  692. void r523standard_c_typedef(T523* C){
  693. int _mem_id=0;
  694. _mem_id=r523id(C);
  695. /*[IRF3.3clear*/((((T7*)(((T7*)(oBC291tmp_string)))))->_count)=(0);
  696. /*]*/
  697. /*IF*/if (r523need_c_struct(C)) {
  698. r7append(((T7*)(oBC291tmp_string)),((T0*)ms131_470));
  699. r7append(((T7*)(oBC291tmp_string)),((T0*)ms125_470));
  700. r7extend(((T7*)(oBC291tmp_string)),'S');
  701. r2append_in(_mem_id,oBC291tmp_string);
  702. r7extend(((T7*)(oBC291tmp_string)),'\40');
  703. r7extend(((T7*)(oBC291tmp_string)),'T');
  704. r2append_in(_mem_id,oBC291tmp_string);
  705. r7append(((T7*)(oBC291tmp_string)),((T0*)ms134_470));
  706. }
  707.  else if (r523is_dummy_expanded(C)) {
  708. r7append(((T7*)(oBC291tmp_string)),((T0*)ms131_470));
  709. r7append(((T7*)(oBC291tmp_string)),((T0*)ms111_470));
  710. r7extend(((T7*)(oBC291tmp_string)),'\40');
  711. r7extend(((T7*)(oBC291tmp_string)),'T');
  712. r2append_in(_mem_id,oBC291tmp_string);
  713. r7append(((T7*)(oBC291tmp_string)),((T0*)ms134_470));
  714. }
  715. /*AF*//*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC291tmp_string);
  716. /*]*/
  717. }
  718. int r523is_double(T523* C){
  719. int R=0;
  720. R=X291is_double((((T523*)C))->_mapped/*12*/);
  721. return R;
  722. }
  723. T0* r523run_class(T523* C){
  724. T0* R=NULL;
  725. R=r604run_class((((T523*)C))->_run_type/*20*/);
  726. return R;
  727. }
  728. /*No:TYPE_EXPANDED.fz_extern*/
  729. void r523c_initialize(T523* C){
  730. /*IF*/if (r523is_basic_eiffel_expanded(C)) {
  731. X291c_initialize((((T523*)C))->_run_type/*20*/);
  732. }
  733. else {
  734. r523c_initialize_expanded(C);
  735. }
  736. /*FI*/}
  737. /*No:TYPE_EXPANDED.run_time_mark*/
  738. void r523cast_to_ref(T523* C){
  739. X291cast_to_ref((((T523*)C))->_run_type/*20*/);
  740. }
  741. /*No:TYPE_EXPANDED.mapped*/
  742. void r523gc_mark_in(T523* C,T0* a1){
  743. r7append(((T7*)a1),((T0*)ms107_470));
  744. r2append_in(r523id(C),a1);
  745. }
  746. int r523is_a_in(T523* C,T0* a1,T0* a2){
  747. int R=0;
  748. T0* _ct=NULL;
  749. T0* _t2=NULL;
  750. T0* _t1=NULL;
  751. /*IF*/if (((((T523*)C))->_written_mark/*8*/)==((void*)(X291written_mark(a1)))) {
  752. R=1;
  753. }
  754. else {
  755. _ct=(((T355*)((T355*)a2)))->_current_type/*0*/;
  756. _t1=r523to_runnable(C,_ct);
  757. _t2=X291to_runnable(a1,_ct);
  758. /*IF*/if ((X291run_time_mark(_t1))==((void*)(X291run_time_mark(_t2)))) {
  759. R=1;
  760. }
  761. else {
  762. R=X291is_a(_t1,_t2);
  763. }
  764. /*FI*/}
  765. /*FI*/return R;
  766. }
  767. T0* r523look_up_for(T523* C,T0* a1,T0* a2){
  768. T0* R=NULL;
  769. R=r605look_up_for(((T605*)(r523base_class(C))),a1,a2);
  770. return R;
  771. }
  772. /*No:TYPE_EXPANDED.c_header_pass1*/
  773. void r523c_type_for_result_in(T523* C,T0* a1){
  774. /*IF*/if (r523is_dummy_expanded(C)) {
  775. r7append(((T7*)a1),((T0*)ms111_470));
  776. }
  777. else {
  778. r7extend(((T7*)a1),'T');
  779. r2append_in(r523id(C),a1);
  780. }
  781. /*FI*/}
  782. T0* r523expanded_initializer(T523* C){
  783. T0* R=NULL;
  784. R=r605expanded_initializer(((T605*)(r523base_class(C))),(T0*)C);
  785. return R;
  786. }
  787. /*No:TYPE_EXPANDED.fz_int*/
  788. /*No:TYPE_EXPANDED.fz_void*/
  789. /*No:TYPE_EXPANDED.fz_dot*/
  790. int r523is_generic(T523* C){
  791. int R=0;
  792. R=X291is_generic((((T523*)C))->_mapped/*12*/);
  793. return R;
  794. }
  795. /*No:TYPE_EXPANDED.used_as_reference*/
  796. int r523space_for_integer(void){
  797. int R=0;
  798. R=sizeof(T2);
  799. return R;
  800. }
  801. /*No:TYPE_EXPANDED.c_header_pass2*/
  802. /*No:TYPE_EXPANDED.gc_define1*/
  803. int r523need_c_struct(T523* C){
  804. int R=0;
  805. /*IF*/if (X291is_expanded((((T523*)C))->_mapped/*12*/)) {
  806. R=X291need_c_struct((((T523*)C))->_mapped/*12*/);
  807. }
  808. else {
  809. R=(r355writable_attributes(((T355*)(r523run_class(C)))))!=((void*)(NULL));
  810. }
  811. /*FI*/return R;
  812. }
  813. /*No:TYPE_EXPANDED.gc_info_in*/
  814. /*No:TYPE_EXPANDED.is_reference*/
  815. T0* r523base_class(T523* C){
  816. T0* R=NULL;
  817. T0* _bcn=NULL;
  818. _bcn=r523base_class_name(C);
  819. /*IF*/if ((_bcn)!=((void*)(NULL))) {
  820. R=r451base_class(((T451*)_bcn));
  821. }
  822. else {
  823. /*[IRF3.6append*/{T0* b1=((T0*)ms3_291);
  824. r7append(((T7*)(oBC683explanation)),b1);
  825. }/*]*/
  826. r683add_type((T0*)C,((T0*)ms67_470));
  827. r683print_as_fatal_error(((T683*)(oBC364eh)));
  828. }
  829. /*FI*/return R;
  830. }
  831. /*No:TYPE_EXPANDED.call_gc_sweep_in*/
  832. void r523from_other(T523* C,T0* a1,T0* a2){
  833. C->_start_position=(((T523*)((T523*)a1)))->_start_position/*4*/;
  834. C->_written_mark=(((T523*)((T523*)a1)))->_written_mark/*8*/;
  835. C->_mapped=a2;
  836. /*IF*/if (X291is_expanded((((T523*)C))->_mapped/*12*/)) {
  837. C->_run_time_mark=X291run_time_mark((((T523*)C))->_mapped/*12*/);
  838. C->_run_type=(((T523*)C))->_mapped/*12*/;
  839. }
  840. else {
  841. C->_run_time_mark=r523compute_mark(X291run_time_mark((((T523*)C))->_mapped/*12*/));
  842. C->_run_type=(T0*)C;
  843. }
  844. /*FI*/}
  845. /*No:TYPE_EXPANDED.gc_define2*/
  846. int r523need_gc_mark_function(T523* C){
  847. int R=0;
  848. R=r355gc_mark_to_follow(((T355*)(r523run_class(C))));
  849. return R;
  850. }
  851. /*No:TYPE_EXPANDED.fatal_error*/
  852. /*No:TYPE_EXPANDED.is_any*/
  853. /*No:TYPE_EXPANDED.to_reference*/
  854. void r523c_header_pass3(T523* C){
  855. /*IF*/if (r523need_c_struct(C)) {
  856. /*IF*/if (((((T523*)C))->_run_type/*20*/)==((void*)(C))) {
  857. r523standard_c_struct(C);
  858. }
  859. else {
  860. X291c_header_pass3((((T523*)C))->_run_type/*20*/);
  861. }
  862. /*FI*/r523standard_c_object_model(C);
  863. }
  864. /*FI*/}
  865. T0* r523base_class_name(T523* C){
  866. T0* R=NULL;
  867. R=X291base_class_name((((T523*)C))->_mapped/*12*/);
  868. return R;
  869. }
  870. /*No:TYPE_EXPANDED.is_expanded*/
  871. /*No:TYPE_EXPANDED.fz_expanded*/
  872. int r523is_basic_eiffel_expanded(T523* C){
  873. int R=0;
  874. /*IF*/if (((((T523*)C))->_run_type/*20*/)==((void*)((((T523*)C))->_mapped/*12*/))) {
  875. R=X291is_basic_eiffel_expanded((((T523*)C))->_mapped/*12*/);
  876. }
  877. /*FI*/return R;
  878. }
  879. /*No:TYPE_EXPANDED.is_none*/
  880. /*No:TYPE_EXPANDED.to_expanded*/
  881. int r523is_integer(T523* C){
  882. int R=0;
  883. R=X291is_integer((((T523*)C))->_mapped/*12*/);
  884. return R;
  885. }
  886. /*No:TYPE_EXPANDED.c_header_pass4*/
  887. /*No:TYPE_EXPANDED.fz_struct*/
  888. T0* r805add_comment(T805* C,T0* a1){
  889. T0* R=NULL;
  890. /*IF*/if (((a1)==((void*)(NULL)))||((/*(IRF4.6count*/r52count(((T52*)((((T393*)((T393*)a1)))->_list/*4*/)))/*)*/)==(0))) {
  891. R=(T0*)C;
  892. }
  893. else {
  894. {T529*n=malloc(sizeof(*n));
  895. *n=M529;
  896. r529make(n,(T0*)C,a1);
  897. R=(T0*)n;
  898. }
  899. }
  900. /*FI*/return R;
  901. }
  902. int r805to_integer(T805* C){
  903. int R=0;
  904. r805error((((T805*)C))->_start_position/*12*/,((T0*)ms69_470));
  905. return R;
  906. }
  907. int r805is_a(T805* C,T0* a1){
  908. int R=0;
  909. R=X291is_a(/*(IRF4.4run_type*/((T0*)((T491*)/*(IRF4.8result_type*/r805type_string()/*)*/))/*)*/,X291run_type(X662result_type(a1)));
  910. /*IF*/if (!(R)) {
  911. r683add_position((((T805*)C))->_start_position/*12*/);
  912. r805error(X662start_position(a1),((T0*)ms4_662));
  913. }
  914. /*FI*/return R;
  915. }
  916. void r805from_manifest_string(T805* C,T0* a1,int a2){
  917. *((T805*)(C))=*((T805*)(a1));
  918. C->_mapping_c=r7twin(((T7*)((((T805*)((T805*)a1)))->_mapping_c/*32*/)));
  919. r7extend(((T7*)((((T805*)C))->_mapping_c/*32*/)),'\137');
  920. r2append_in(a2,(((T805*)C))->_mapping_c/*32*/);
  921. }
  922. /*No:MANIFEST_STRING.is_current*/
  923. /*No:MANIFEST_STRING.mapping_c_arg*/
  924. /*No:MANIFEST_STRING.static_value*/
  925. void r805make(T805* C,T0* a1,int a2){
  926. C->_start_position=a1;
  927. {T7*n=malloc(sizeof(*n));
  928. *n=M7;
  929. r7make(n,0);
  930. C->_to_string=(T0*)n;
  931. }
  932. {T7*n=malloc(sizeof(*n));
  933. *n=M7;
  934. r7make(n,12);
  935. C->_mapping_c=(T0*)n;
  936. }
  937. r7copy(((T7*)((((T805*)C))->_mapping_c/*32*/)),((T0*)ms1_805));
  938. r2append_in(a2,(((T805*)C))->_mapping_c/*32*/);
  939. }
  940. /*No:MANIFEST_STRING.mapping_c_target*/
  941. /*No:MANIFEST_STRING.to_string*/
  942. T0* r805type_string(void){
  943. if (fBC364type_string==0){
  944. T0* R=NULL;
  945. fBC364type_string=1;
  946. {T491*n=malloc(sizeof(*n));
  947. *n=M491;
  948. r491make(n,NULL);
  949. R=(T0*)n;
  950. }
  951. oBC364type_string=R;}
  952. return oBC364type_string;}
  953. /*No:MANIFEST_STRING.fz_iinaiv*/
  954. /*No:MANIFEST_STRING.break*/
  955. /*No:MANIFEST_STRING.dca_inline_argument*/
  956. /*No:MANIFEST_STRING.add*/
  957. /*No:MANIFEST_STRING.start_position*/
  958. void r805compile_to_c(T805* C){
  959. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  960. char b1='\50';
  961. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  962. }/*]*/
  963. /*]*/
  964. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms85_470));
  965. /*]*/
  966. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),(((T805*)C))->_mapping_c/*32*/);
  967. /*]*/
  968. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  969. char b1='\51';
  970. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  971. }/*]*/
  972. /*]*/
  973. }
  974. /*No:MANIFEST_STRING.c_simple*/
  975. T0* r805to_runnable(T805* C,T0* a1){
  976. T0* R=NULL;
  977. T0* _dummy=NULL;
  978. T0* _bc=NULL;
  979. _dummy=r491to_runnable(((T491*)(r805type_string())),a1);
  980. /*IF*/if (((((T805*)C))->_current_type/*8*/)==((void*)(NULL))) {
  981. C->_current_type=a1;
  982. r7extend(((T7*)((((T805*)C))->_mapping_c/*32*/)),'\137');
  983. _bc=r627base_class(((T627*)((((T805*)C))->_start_position/*12*/)));
  984. r2append_in((((T605*)((T605*)_bc)))->_id/*0*/,(((T805*)C))->_mapping_c/*32*/);
  985. r355set_at_run_time(((T355*)(r491run_class(((T491*)(/*(IRF4.8result_type*/r805type_string()/*)*/))))));
  986. r340add_last((T0*)C);
  987. R=(T0*)C;
  988. }
  989. else {
  990. R=r805twin(C);
  991. /*[IRF3.3set_current_type*/((((T805*)(((T805*)R))))->_current_type)=(a1);
  992. /*]*/
  993. }
  994. /*FI*/return R;
  995. }
  996. /*No:MANIFEST_STRING.ascii*/
  997. /*No:MANIFEST_STRING.percent*/
  998. /*No:MANIFEST_STRING.result_type*/
  999. int r805is_equal(T805* C,T0* a1){
  1000. int R=0;
  1001. R=((C->id==a1->id)?!memcmp(C,a1,sizeof(*C)):0);return R;
  1002. }
  1003. /*No:MANIFEST_STRING.is_result*/
  1004. T0* r805twin(T805* C){
  1005. T0* R=NULL;
  1006. R=malloc(sizeof(*C));
  1007. *((T805*)R)=*C;
  1008. return R;
  1009. }
  1010. /*No:MANIFEST_STRING.set_current_type*/
  1011. void r805add_ascii(T805* C,char a1){
  1012. r7extend(((T7*)((((T805*)C))->_to_string/*16*/)),a1);
  1013. /*IF*/if (((((T805*)C))->_ascii/*24*/)==((void*)(NULL))) {
  1014. C->_ascii=se_ma429(1,(((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/);
  1015. }
  1016. else {
  1017. r429add_last(((T429*)((((T805*)C))->_ascii/*24*/)),(((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/);
  1018. }
  1019. /*FI*/}
  1020. /*No:MANIFEST_STRING.is_static*/
  1021. /*No:MANIFEST_STRING.can_be_dropped*/
  1022. /*No:MANIFEST_STRING.current_type*/
  1023. /*No:MANIFEST_STRING.compile_to_c_old*/
  1024. /*No:MANIFEST_STRING.static_value_mem*/
  1025. /*No:MANIFEST_STRING.is_manifest_string*/
  1026. /*No:MANIFEST_STRING.is_void*/
  1027. /*No:MANIFEST_STRING.is_pre_computable*/
  1028. /*No:MANIFEST_STRING.fz_cast_t0_star*/
  1029. /*No:MANIFEST_STRING.use_current*/
  1030. void r805add_percent(T805* C,char a1){
  1031. r7extend(((T7*)((((T805*)C))->_to_string/*16*/)),a1);
  1032. /*IF*/if (((((T805*)C))->_percent/*28*/)==((void*)(NULL))) {
  1033. C->_percent=se_ma429(1,(((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/);
  1034. }
  1035. else {
  1036. r429add_last(((T429*)((((T805*)C))->_percent/*28*/)),(((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/);
  1037. }
  1038. /*FI*/}
  1039. void r805error(T0* a1,T0* a2){
  1040. r683add_position(a1);
  1041. r683error(((T683*)(oBC364eh)),a2);
  1042. }
  1043. /*No:MANIFEST_STRING.count*/
  1044. /*No:MANIFEST_STRING.isa_dca_inline_argument*/
  1045. /*No:MANIFEST_STRING.mapping_c*/
  1046. /*No:MANIFEST_STRING.afd_check*/
  1047. void r805break_line(T805* C){
  1048. /*IF*/if (((((T805*)C))->_break/*20*/)==((void*)(NULL))) {
  1049. C->_break=se_ma429(1,((((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/)+(1));
  1050. }
  1051. else {
  1052. r429add_last(((T429*)((((T805*)C))->_break/*20*/)),((((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/)+(1));
  1053. }
  1054. /*FI*/}
  1055. /*No:NATIVE_SMALL_EIFFEL.us_put*/
  1056. /*No:NATIVE_SMALL_EIFFEL.us_character_bits*/
  1057. void r85c_mapping_bit_function(T0* a1,T0* a2){
  1058. int _boost=0;
  1059. T0* _type_bit=NULL;
  1060. _type_bit=(((T892*)((T892*)a1)))->_current_type/*4*/;
  1061. if(NULL!=(_type_bit))switch(((T0*)_type_bit)->id) {
  1062. case 549: case 558: 
  1063. break;
  1064. default:
  1065. _type_bit=NULL;
  1066. };_boost=r590boost(((T590*)(oBC364run_control)));
  1067. /*IF*/if ((((T0*)ms60_473))==((void*)(a2))) {
  1068. /*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X609nb(_type_bit));
  1069. /*]*/
  1070. }
  1071.  else if ((((T0*)ms86_473))==((void*)(a2))) {
  1072. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1073. r892default_mapping_function(((T892*)a1));
  1074. }
  1075.  else if (_boost) {
  1076. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms151_470));
  1077. /*]*/
  1078. r324put_target_as_target(((T324*)(oBC364cpp)));
  1079. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms100_85));
  1080. /*]*/
  1081. /*IF*/if (X609is_c_int(_type_bit)) {
  1082. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms101_85));
  1083. /*]*/
  1084. }
  1085. /*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms102_85));
  1086. /*]*/
  1087. r324put_arguments(((T324*)(oBC364cpp)));
  1088. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms103_85));
  1089. /*]*/
  1090. }
  1091. else {
  1092. r892default_mapping_function(((T892*)a1));
  1093. }
  1094. /*FI*/}
  1095.  else if ((((T0*)ms46_473))==((void*)(a2))) {
  1096. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1097. r892default_mapping_function(((T892*)a1));
  1098. }
  1099.  else if (_boost) {
  1100. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms151_470));
  1101. /*]*/
  1102. r324put_target_as_target(((T324*)(oBC364cpp)));
  1103. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms104_85));
  1104. /*]*/
  1105. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  1106. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
  1107. /*]*/
  1108. }
  1109. else {
  1110. r892default_mapping_function(((T892*)a1));
  1111. }
  1112. /*FI*/}
  1113.  else if ((((T0*)ms45_473))==((void*)(a2))) {
  1114. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1115. r892default_mapping_function(((T892*)a1));
  1116. }
  1117.  else if (_boost) {
  1118. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms151_470));
  1119. /*]*/
  1120. r324put_target_as_target(((T324*)(oBC364cpp)));
  1121. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms105_85));
  1122. /*]*/
  1123. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  1124. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
  1125. /*]*/
  1126. }
  1127. else {
  1128. r892default_mapping_function(((T892*)a1));
  1129. }
  1130. /*FI*/}
  1131.  else if ((((T0*)ms50_473))==((void*)(a2))) {
  1132. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1133. r85fe_nyi(a1);
  1134. }
  1135. else {
  1136. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1137. char b1='\50';
  1138. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1139. }/*]*/
  1140. /*]*/
  1141. r324put_target_as_target(((T324*)(oBC364cpp)));
  1142. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1143. char b1='\51';
  1144. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1145. }/*]*/
  1146. /*]*/
  1147. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1148. char b1='\136';
  1149. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1150. }/*]*/
  1151. /*]*/
  1152. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1153. char b1='\50';
  1154. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1155. }/*]*/
  1156. /*]*/
  1157. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  1158. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1159. char b1='\51';
  1160. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1161. }/*]*/
  1162. /*]*/
  1163. }
  1164. /*FI*/}
  1165.  else if ((((T0*)ms41_473))==((void*)(a2))) {
  1166. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1167. r85fe_nyi(a1);
  1168. }
  1169. else {
  1170. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1171. char b1='\50';
  1172. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1173. }/*]*/
  1174. /*]*/
  1175. r324put_target_as_target(((T324*)(oBC364cpp)));
  1176. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1177. char b1='\51';
  1178. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1179. }/*]*/
  1180. /*]*/
  1181. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1182. char b1='\174';
  1183. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1184. }/*]*/
  1185. /*]*/
  1186. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1187. char b1='\50';
  1188. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1189. }/*]*/
  1190. /*]*/
  1191. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  1192. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1193. char b1='\51';
  1194. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1195. }/*]*/
  1196. /*]*/
  1197. }
  1198. /*FI*/}
  1199.  else if ((((T0*)ms40_473))==((void*)(a2))) {
  1200. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1201. r85fe_nyi(a1);
  1202. }
  1203. else {
  1204. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1205. char b1='\40';
  1206. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1207. }/*]*/
  1208. /*]*/
  1209. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1210. char b1='\176';
  1211. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1212. }/*]*/
  1213. /*]*/
  1214. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1215. char b1='\50';
  1216. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1217. }/*]*/
  1218. /*]*/
  1219. r324put_target_as_target(((T324*)(oBC364cpp)));
  1220. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1221. char b1='\51';
  1222. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1223. }/*]*/
  1224. /*]*/
  1225. }
  1226. /*FI*/}
  1227.  else if ((((T0*)ms27_473))==((void*)(a2))) {
  1228. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1229. r85fe_nyi(a1);
  1230. }
  1231. else {
  1232. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1233. char b1='\50';
  1234. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1235. }/*]*/
  1236. /*]*/
  1237. r324put_target_as_target(((T324*)(oBC364cpp)));
  1238. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1239. char b1='\51';
  1240. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1241. }/*]*/
  1242. /*]*/
  1243. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1244. char b1='\46';
  1245. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1246. }/*]*/
  1247. /*]*/
  1248. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1249. char b1='\50';
  1250. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1251. }/*]*/
  1252. /*]*/
  1253. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  1254. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1255. char b1='\51';
  1256. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1257. }/*]*/
  1258. /*]*/
  1259. }
  1260. /*FI*/}
  1261.  else if ((((T0*)ms132_473))==((void*)(a2))) {
  1262. r324put_target_as_value(((T324*)(oBC364cpp)));
  1263. }
  1264.  else if ((((T0*)ms134_473))==((void*)(a2))) {
  1265. r324put_target_as_value(((T324*)(oBC364cpp)));
  1266. }
  1267. /*FI*/}
  1268. /*No:NATIVE_SMALL_EIFFEL.us_minimum_integer*/
  1269. /*No:NATIVE_SMALL_EIFFEL.us_integer*/
  1270. /*No:NATIVE_SMALL_EIFFEL.us_copy*/
  1271. /*No:NATIVE_SMALL_EIFFEL.us_generator*/
  1272. /*No:NATIVE_SMALL_EIFFEL.us_maximum_integer*/
  1273. /*No:NATIVE_SMALL_EIFFEL.us_minimum_character_code*/
  1274. /*No:NATIVE_SMALL_EIFFEL.us_standard_copy*/
  1275. /*No:NATIVE_SMALL_EIFFEL.fz_open*/
  1276. /*No:NATIVE_SMALL_EIFFEL.us_maximum_character_code*/
  1277. /*No:NATIVE_SMALL_EIFFEL.us_minimum_real*/
  1278. /*No:NATIVE_SMALL_EIFFEL.us_sprintf_double*/
  1279. /*No:NATIVE_SMALL_EIFFEL.us_maximum_real*/
  1280. /*No:NATIVE_SMALL_EIFFEL.us_backslash_backslash*/
  1281. void r85c_mapping_real_function(T0* a1,T0* a2){
  1282. /*IF*/if ((r892arg_count(((T892*)a1)))==(1)) {
  1283. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1284. char b1='\50';
  1285. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1286. }/*]*/
  1287. /*]*/
  1288. r324put_target_as_value(((T324*)(oBC364cpp)));
  1289. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1290. char b1='\51';
  1291. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1292. }/*]*/
  1293. /*]*/
  1294. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),a2);
  1295. /*]*/
  1296. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1297. char b1='\50';
  1298. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1299. }/*]*/
  1300. /*]*/
  1301. r324put_arguments(((T324*)(oBC364cpp)));
  1302. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1303. char b1='\51';
  1304. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1305. }/*]*/
  1306. /*]*/
  1307. }
  1308.  else if ((((T0*)ms133_473))==((void*)(a2))) {
  1309. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1310. char b1='\50';
  1311. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1312. }/*]*/
  1313. /*]*/
  1314. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1315. char b1='\50';
  1316. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1317. }/*]*/
  1318. /*]*/
  1319. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms101_470));
  1320. /*]*/
  1321. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1322. char b1='\51';
  1323. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1324. }/*]*/
  1325. /*]*/
  1326. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1327. char b1='\50';
  1328. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1329. }/*]*/
  1330. /*]*/
  1331. r324put_target_as_value(((T324*)(oBC364cpp)));
  1332. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1333. char b1='\51';
  1334. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1335. }/*]*/
  1336. /*]*/
  1337. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1338. char b1='\51';
  1339. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1340. }/*]*/
  1341. /*]*/
  1342. }
  1343. else {
  1344. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),a2);
  1345. /*]*/
  1346. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1347. char b1='\50';
  1348. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1349. }/*]*/
  1350. /*]*/
  1351. r324put_target_as_value(((T324*)(oBC364cpp)));
  1352. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1353. char b1='\51';
  1354. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1355. }/*]*/
  1356. /*]*/
  1357. }
  1358. /*FI*/}
  1359. /*No:NATIVE_SMALL_EIFFEL.us_and*/
  1360. /*No:NATIVE_SMALL_EIFFEL.us_put_0*/
  1361. /*No:NATIVE_SMALL_EIFFEL.us_from_pointer*/
  1362. /*No:NATIVE_SMALL_EIFFEL.us_pointer_bits*/
  1363. /*No:NATIVE_SMALL_EIFFEL.us_double_floor*/
  1364. /*No:NATIVE_SMALL_EIFFEL.us_slash_slash*/
  1365. /*No:NATIVE_SMALL_EIFFEL.us_integer_bits*/
  1366. /*No:NATIVE_SMALL_EIFFEL.fz_t0_star*/
  1367. /*No:NATIVE_SMALL_EIFFEL.us_stdout*/
  1368. /*No:NATIVE_SMALL_EIFFEL.us_put_1*/
  1369. /*No:NATIVE_SMALL_EIFFEL.us_item*/
  1370. void r85c_define_standard_twin(T0* a1,T0* a2){
  1371. /*IF*/if (X291is_basic_eiffel_expanded(a2)) {
  1372. }
  1373.  else if (X291is_expanded(a2)) {
  1374. /*IF*/if (X291is_dummy_expanded(a2)) {
  1375. }
  1376.  else if (r85native_array(a2)) {
  1377. }
  1378. else {
  1379. r892c_define_with_body(((T892*)a1),((T0*)ms63_85));
  1380. }
  1381. /*FI*/}
  1382. else {
  1383. /*IF*/if ((((T548*)((T548*)(oBC364gc_handler))))->_is_on/*0*/) {
  1384. /*[IRF3.3clear*/((((T7*)(((T7*)(oBC85body)))))->_count)=(0);
  1385. /*]*/
  1386. r7extend(((T7*)(oBC85body)),'R');
  1387. r7extend(((T7*)(oBC85body)),'\75');
  1388. r7extend(((T7*)(oBC85body)),'\50');
  1389. r7append(((T7*)(oBC85body)),((T0*)ms86_470));
  1390. X291gc_call_new_in(a2,oBC85body);
  1391. r7extend(((T7*)(oBC85body)),'\51');
  1392. r7append(((T7*)(oBC85body)),((T0*)ms134_470));
  1393. }
  1394. else {
  1395. r7copy(((T7*)(oBC85body)),((T0*)ms64_85));
  1396. }
  1397. /*FI*/r7extend(((T7*)(oBC85body)),'\52');
  1398. r7extend(((T7*)(oBC85body)),'\50');
  1399. r7extend(((T7*)(oBC85body)),'\50');
  1400. r7extend(((T7*)(oBC85body)),'T');
  1401. r2append_in(X291id(a2),oBC85body);
  1402. r7extend(((T7*)(oBC85body)),'\52');
  1403. r7extend(((T7*)(oBC85body)),'\51');
  1404. r7extend(((T7*)(oBC85body)),'R');
  1405. r7extend(((T7*)(oBC85body)),'\51');
  1406. r7extend(((T7*)(oBC85body)),'\75');
  1407. r7extend(((T7*)(oBC85body)),'\52');
  1408. r7extend(((T7*)(oBC85body)),'C');
  1409. r7append(((T7*)(oBC85body)),((T0*)ms134_470));
  1410. r892c_define_with_body(((T892*)a1),oBC85body);
  1411. }
  1412. /*FI*/}
  1413. /*No:NATIVE_SMALL_EIFFEL.us_pointer*/
  1414. /*No:NATIVE_SMALL_EIFFEL.us_se_remove*/
  1415. /*No:NATIVE_SMALL_EIFFEL.us_flush_stream*/
  1416. void r85c_mapping_double_function(T0* a1,T0* a2){
  1417. r324add_c_library(((T324*)(oBC364cpp)),((T0*)ms78_85));
  1418. /*IF*/if ((((T0*)ms44_473))==((void*)(a2))) {
  1419. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms79_85));
  1420. /*]*/
  1421. r324put_target_as_value(((T324*)(oBC364cpp)));
  1422. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms80_85));
  1423. /*]*/
  1424. r324put_arguments(((T324*)(oBC364cpp)));
  1425. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
  1426. /*]*/
  1427. }
  1428.  else if ((((T0*)ms68_473))==((void*)(a2))) {
  1429. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms74_473));
  1430. /*]*/
  1431. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1432. char b1='\50';
  1433. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1434. }/*]*/
  1435. /*]*/
  1436. r324put_target_as_value(((T324*)(oBC364cpp)));
  1437. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1438. char b1='\51';
  1439. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1440. }/*]*/
  1441. /*]*/
  1442. }
  1443.  else if ((((T0*)ms138_473))==((void*)(a2))) {
  1444. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms81_85));
  1445. /*]*/
  1446. r324put_target_as_value(((T324*)(oBC364cpp)));
  1447. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
  1448. /*]*/
  1449. }
  1450.  else if ((((T0*)ms136_473))==((void*)(a2))) {
  1451. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1452. char b1='\50';
  1453. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1454. }/*]*/
  1455. /*]*/
  1456. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1457. char b1='\50';
  1458. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1459. }/*]*/
  1460. /*]*/
  1461. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms104_470));
  1462. /*]*/
  1463. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1464. char b1='\51';
  1465. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1466. }/*]*/
  1467. /*]*/
  1468. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1469. char b1='\50';
  1470. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1471. }/*]*/
  1472. /*]*/
  1473. r324put_target_as_value(((T324*)(oBC364cpp)));
  1474. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1475. char b1='\51';
  1476. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1477. }/*]*/
  1478. /*]*/
  1479. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1480. char b1='\51';
  1481. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1482. }/*]*/
  1483. /*]*/
  1484. }
  1485.  else if ((((((T7*)((T7*)a2)))->_count/*4*/)<=(2))&&((r892arg_count(((T892*)a1)))==(1))) {
  1486. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1487. char b1='\50';
  1488. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1489. }/*]*/
  1490. /*]*/
  1491. r324put_target_as_value(((T324*)(oBC364cpp)));
  1492. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1493. char b1='\51';
  1494. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1495. }/*]*/
  1496. /*]*/
  1497. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),a2);
  1498. /*]*/
  1499. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1500. char b1='\50';
  1501. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1502. }/*]*/
  1503. /*]*/
  1504. r324put_arguments(((T324*)(oBC364cpp)));
  1505. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1506. char b1='\51';
  1507. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1508. }/*]*/
  1509. /*]*/
  1510. }
  1511. else {
  1512. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),a2);
  1513. /*]*/
  1514. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1515. char b1='\50';
  1516. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1517. }/*]*/
  1518. /*]*/
  1519. r324put_target_as_value(((T324*)(oBC364cpp)));
  1520. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1521. char b1='\51';
  1522. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1523. }/*]*/
  1524. /*]*/
  1525. }
  1526. /*FI*/}
  1527. /*No:NATIVE_SMALL_EIFFEL.us_floor*/
  1528. /*No:NATIVE_SMALL_EIFFEL.fz_sizeof*/
  1529. /*No:NATIVE_SMALL_EIFFEL.us_double_bits*/
  1530. /*No:NATIVE_SMALL_EIFFEL.us_or_else*/
  1531. /*No:NATIVE_SMALL_EIFFEL.us_is_expanded_type*/
  1532. /*No:NATIVE_SMALL_EIFFEL.fz_00*/
  1533. /*No:NATIVE_SMALL_EIFFEL.us_stdin*/
  1534. /*No:NATIVE_SMALL_EIFFEL.fz_cast_void_star*/
  1535. void r85c_mapping_integer_function(T0* a1,T0* a2){
  1536. /*IF*/if ((r892arg_count(((T892*)a1)))==(1)) {
  1537. /*IF*/if ((((T0*)ms47_473))==((void*)(a2))) {
  1538. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1539. char b1='\50';
  1540. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1541. }/*]*/
  1542. /*]*/
  1543. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1544. char b1='\50';
  1545. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1546. }/*]*/
  1547. /*]*/
  1548. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms101_470));
  1549. /*]*/
  1550. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1551. char b1='\51';
  1552. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1553. }/*]*/
  1554. /*]*/
  1555. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1556. char b1='\50';
  1557. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1558. }/*]*/
  1559. /*]*/
  1560. }
  1561. else {
  1562. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1563. char b1='\50';
  1564. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1565. }/*]*/
  1566. /*]*/
  1567. }
  1568. /*FI*/r324put_target_as_value(((T324*)(oBC364cpp)));
  1569. /*IF*/if ((((T0*)ms47_473))==((void*)(a2))) {
  1570. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
  1571. /*]*/
  1572. }
  1573. else {
  1574. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1575. char b1='\51';
  1576. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1577. }/*]*/
  1578. /*]*/
  1579. }
  1580. /*FI*//*IF*/if ((((T0*)ms48_473))==((void*)(a2))) {
  1581. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms47_473));
  1582. /*]*/
  1583. }
  1584.  else if ((((T0*)ms30_473))==((void*)(a2))) {
  1585. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms76_85));
  1586. /*]*/
  1587. }
  1588. else {
  1589. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),a2);
  1590. /*]*/
  1591. }
  1592. /*FI*//*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1593. char b1='\50';
  1594. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1595. }/*]*/
  1596. /*]*/
  1597. r324put_arguments(((T324*)(oBC364cpp)));
  1598. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1599. char b1='\51';
  1600. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1601. }/*]*/
  1602. /*]*/
  1603. }
  1604.  else if ((((T0*)ms132_473))==((void*)(a2))) {
  1605. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms77_85));
  1606. /*]*/
  1607. r324put_target_as_value(((T324*)(oBC364cpp)));
  1608. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
  1609. /*]*/
  1610. }
  1611.  else if ((((T0*)ms131_473))==((void*)(a2))) {
  1612. r324put_target_as_value(((T324*)(oBC364cpp)));
  1613. }
  1614. else {
  1615. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),a2);
  1616. /*]*/
  1617. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1618. char b1='\50';
  1619. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1620. }/*]*/
  1621. /*]*/
  1622. r324put_target_as_value(((T324*)(oBC364cpp)));
  1623. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  1624. char b1='\51';
  1625. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  1626. }/*]*/
  1627. /*]*/
  1628. }
  1629. /*FI*/}
  1630. void r85mapping_bit_put_0(T0* a1,int a2){
  1631. r324put_target_as_value(((T324*)(oBC364cpp)));
  1632. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms95_85));
  1633. /*]*/
  1634. /*IF*/if (X609is_c_char(a1)) {
  1635. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms79_470));
  1636. /*]*/
  1637. }
  1638. else {
  1639. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms111_470));
  1640. /*]*/
  1641. }
  1642. /*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms96_85));
  1643. /*]*/
  1644. /*IF*/if (X609is_c_int(a1)) {
  1645. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms97_85));
  1646. /*]*/
  1647. }
  1648. /*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms98_85));
  1649. /*]*/
  1650. r324put_ith_argument(((T324*)(oBC364cpp)),a2);
  1651. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms99_85));
  1652. /*]*/
  1653. }
  1654. void r85c_mapping_bit_procedure(T0* a1,T0* a2){
  1655. T0* _type_bit=NULL;
  1656. _type_bit=(((T906*)((T906*)a1)))->_current_type/*4*/;
  1657. if(NULL!=(_type_bit))switch(((T0*)_type_bit)->id) {
  1658. case 549: case 558: 
  1659. break;
  1660. default:
  1661. _type_bit=NULL;
  1662. };/*IF*/if ((a2)==((void*)(((T0*)ms105_473)))) {
  1663. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1664. r906default_mapping_procedure(((T906*)a1));
  1665. }
  1666. else {
  1667. r85mapping_bit_put_0(_type_bit,1);
  1668. }
  1669. /*FI*/}
  1670.  else if ((a2)==((void*)(((T0*)ms106_473)))) {
  1671. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1672. r906default_mapping_procedure(((T906*)a1));
  1673. }
  1674. else {
  1675. r85mapping_bit_put_1(_type_bit,1);
  1676. }
  1677. /*FI*/}
  1678. else {
  1679. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1680. r906default_mapping_procedure(((T906*)a1));
  1681. }
  1682. else {
  1683. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms87_85));
  1684. /*]*/
  1685. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  1686. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms88_85));
  1687. /*]*/
  1688. r85mapping_bit_put_1(_type_bit,2);
  1689. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms89_85));
  1690. /*]*/
  1691. r85mapping_bit_put_0(_type_bit,2);
  1692. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms146_470));
  1693. /*]*/
  1694. }
  1695. /*FI*/}
  1696. /*FI*/}
  1697. /*No:NATIVE_SMALL_EIFFEL.us_slash*/
  1698. /*No:NATIVE_SMALL_EIFFEL.us_standard_twin*/
  1699. /*No:NATIVE_SMALL_EIFFEL.us_c_inline_c*/
  1700. /*No:NATIVE_SMALL_EIFFEL.us_truncated_to_integer*/
  1701. /*No:NATIVE_SMALL_EIFFEL.us_write_byte*/
  1702. /*No:NATIVE_SMALL_EIFFEL.us_stderr*/
  1703. void r85c_define_function(T0* a1,T0* a2,T0* a3){
  1704. T0* _rf7=NULL;
  1705. T0* _rf=NULL;
  1706. T0* _rc=NULL;
  1707. T0* _ct=NULL;
  1708. T0* _elt_type=NULL;
  1709. /*IF*/if ((((T0*)ms4_473))==((void*)(a2))) {
  1710. r85c_define_function_bit(a1,a3);
  1711. }
  1712.  else if ((((T0*)ms14_473))==((void*)(a2))) {
  1713. /*IF*/if (((((T0*)ms84_473))==((void*)(a3)))||((((T0*)ms122_473))==((void*)(a3)))) {
  1714. _ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
  1715. _rc=X291run_class(_ct);
  1716. /*IF*/if ((X291is_basic_eiffel_expanded(_ct))||(r85native_array(_ct))) {
  1717. }
  1718.  else if (r355is_tagged(((T355*)_rc))) {
  1719. r892c_define_with_body(((T892*)a1),((T0*)ms26_85));
  1720. }
  1721.  else if ((r355writable_attributes(((T355*)_rc)))==((void*)(NULL))) {
  1722. /*IF*/if (r590boost(((T590*)(oBC364run_control)))) {
  1723. }
  1724. else {
  1725. r892c_define_with_body(((T892*)a1),((T0*)ms27_85));
  1726. }
  1727. /*FI*/}
  1728.  else if (r590boost(((T590*)(oBC364run_control)))) {
  1729. }
  1730. else {
  1731. r892c_define_with_body(((T892*)a1),((T0*)ms28_85));
  1732. }
  1733. /*FI*/}
  1734.  else if ((((T0*)ms123_473))==((void*)(a3))) {
  1735. r85c_define_standard_twin(a1,(((T892*)((T892*)a1)))->_current_type/*4*/);
  1736. }
  1737.  else if ((((T0*)ms139_473))==((void*)(a3))) {
  1738. _ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
  1739. _rc=X291run_class(_ct);
  1740. _rf=r355get_copy(((T355*)_rc));
  1741. _rf7=_rf;
  1742. if(NULL!=(_rf7))switch(((T0*)_rf7)->id) {
  1743. case 906: 
  1744. break;
  1745. default:
  1746. _rf7=NULL;
  1747. };/*IF*/if ((_rf7)!=((void*)(NULL))) {
  1748. r85c_define_standard_twin(a1,_ct);
  1749. }
  1750. else {
  1751. r85c_define_twin(a1,_ct,_rc,_rf);
  1752. }
  1753. /*FI*/}
  1754. /*FI*/}
  1755.  else if ((((T0*)ms18_473))==((void*)(a2))) {
  1756. /*IF*/if ((((T0*)ms54_473))==((void*)(a3))) {
  1757. _ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
  1758. _elt_type=X291run_type(r701item(((T701*)(X291generic_list(_ct))),1));
  1759. /*IF*/if ((X291expanded_initializer(_elt_type))!=((void*)(NULL))) {
  1760. r7copy(((T7*)(oBC85body)),((T0*)ms29_85));
  1761. r2append_in(X291id(_ct),oBC85body);
  1762. r7append(((T7*)(oBC85body)),((T0*)ms30_85));
  1763. r892c_define_with_body(((T892*)a1),oBC85body);
  1764. }
  1765. /*FI*/}
  1766. /*FI*/}
  1767. /*FI*/}
  1768. void r85c_mapping_standard_twin(T0* a1,T0* a2){
  1769. /*IF*/if (X291is_basic_eiffel_expanded(a2)) {
  1770. r324put_target_as_value(((T324*)(oBC364cpp)));
  1771. }
  1772.  else if (X291is_expanded(a2)) {
  1773. /*IF*/if (X291is_dummy_expanded(a2)) {
  1774. r324put_target_as_target(((T324*)(oBC364cpp)));
  1775. }
  1776.  else if (r85native_array(a2)) {
  1777. r324put_target_as_target(((T324*)(oBC364cpp)));
  1778. }
  1779. else {
  1780. r892default_mapping_function(((T892*)a1));
  1781. }
  1782. /*FI*/}
  1783. else {
  1784. r892default_mapping_function(((T892*)a1));
  1785. }
  1786. /*FI*/}
  1787. /*No:NATIVE_SMALL_EIFFEL.fz_12*/
  1788. /*No:NATIVE_SMALL_EIFFEL.us_se_system*/
  1789. void r85fe_nyi(T0* a1){
  1790. r683add_position(X496start_position(a1));
  1791. /*[IRF3.6append*/{T0* b1=((T0*)ms85_85);
  1792. r7append(((T7*)(oBC683explanation)),b1);
  1793. }/*]*/
  1794. /*[IRF3.6append*/{T0* b1=X291run_time_mark(/*X496*/((T0*)(((T832*)((T832*)a1)))->_current_type/*4*/));
  1795. r7append(((T7*)(oBC683explanation)),b1);
  1796. }/*]*/
  1797. /*[IRF3.6fatal_error*/{T0* b1=((T0*)ms86_85);
  1798. r683fatal_error(((T683*)(oBC364eh)),b1);
  1799. }/*]*/
  1800. }
  1801. /*No:NATIVE_SMALL_EIFFEL.us_sfw_open*/
  1802. /*No:NATIVE_SMALL_EIFFEL.us_sfr_open*/
  1803. /*No:NATIVE_SMALL_EIFFEL.us_character*/
  1804. /*No:NATIVE_SMALL_EIFFEL.us_shift_left*/
  1805. /*No:NATIVE_SMALL_EIFFEL.fz_13*/
  1806. /*No:NATIVE_SMALL_EIFFEL.us_bitn*/
  1807. /*No:NATIVE_SMALL_EIFFEL.fz_14*/
  1808. /*No:NATIVE_SMALL_EIFFEL.us_twin*/
  1809. void r85mapping_bit_put_1(T0* a1,int a2){
  1810. r324put_target_as_value(((T324*)(oBC364cpp)));
  1811. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms90_85));
  1812. /*]*/
  1813. /*IF*/if (X609is_c_char(a1)) {
  1814. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms79_470));
  1815. /*]*/
  1816. }
  1817. else {
  1818. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms111_470));
  1819. /*]*/
  1820. }
  1821. /*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms91_85));
  1822. /*]*/
  1823. /*IF*/if (X609is_c_int(a1)) {
  1824. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms92_85));
  1825. /*]*/
  1826. }
  1827. /*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms93_85));
  1828. /*]*/
  1829. r324put_ith_argument(((T324*)(oBC364cpp)),a2);
  1830. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms94_85));
  1831. /*]*/
  1832. }
  1833. /*No:NATIVE_SMALL_EIFFEL.fz_new*/
  1834. /*No:NATIVE_SMALL_EIFFEL.us_bit_n*/
  1835. void r85c_define_procedure(T0* a1,T0* a2,T0* a3){
  1836. /*IF*/if ((((T0*)ms4_473))==((void*)(a2))) {
  1837. r85c_define_procedure_bit(a1,a3);
  1838. }
  1839. /*FI*/}
  1840. /*No:NATIVE_SMALL_EIFFEL.us_real*/
  1841. /*No:NATIVE_SMALL_EIFFEL.us_die_with_code*/
  1842. void r85c_define_function_bit(T0* a1,T0* a2){
  1843. int _no_check=0;
  1844. T0* _type_bit=NULL;
  1845. _type_bit=(((T892*)((T892*)a1)))->_current_type/*4*/;
  1846. if(NULL!=(_type_bit))switch(((T0*)_type_bit)->id) {
  1847. case 549: case 558: 
  1848. break;
  1849. default:
  1850. _type_bit=NULL;
  1851. };_no_check=r590no_check(((T590*)(oBC364run_control)));
  1852. /*IF*/if ((((T0*)ms60_473))==((void*)(a2))) {
  1853. }
  1854.  else if ((((T0*)ms86_473))==((void*)(a2))) {
  1855. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1856. r892c_define_with_body(((T892*)a1),((T0*)ms106_85));
  1857. }
  1858.  else if (_no_check) {
  1859. /*IF*/if (X609is_c_char(_type_bit)) {
  1860. r892c_define_with_body(((T892*)a1),((T0*)ms107_85));
  1861. }
  1862. else {
  1863. r892c_define_with_body(((T892*)a1),((T0*)ms108_85));
  1864. }
  1865. /*FI*/}
  1866. /*FI*/}
  1867.  else if ((((T0*)ms45_473))==((void*)(a2))) {
  1868. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1869. r7copy(((T7*)(oBC85body)),((T0*)ms109_85));
  1870. r2append_in(X609nb(_type_bit),oBC85body);
  1871. r7append(((T7*)(oBC85body)),((T0*)ms110_85));
  1872. r2append_in(X609nb(_type_bit),oBC85body);
  1873. r7append(((T7*)(oBC85body)),((T0*)ms111_85));
  1874. r2append_in(X609nb(_type_bit),oBC85body);
  1875. r7append(((T7*)(oBC85body)),((T0*)ms112_85));
  1876. r892c_define_with_body(((T892*)a1),oBC85body);
  1877. }
  1878. else {
  1879. r892c_define_with_body(((T892*)a1),((T0*)ms113_85));
  1880. }
  1881. /*FI*/}
  1882.  else if ((((T0*)ms46_473))==((void*)(a2))) {
  1883. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  1884. r7copy(((T7*)(oBC85body)),((T0*)ms114_85));
  1885. r2append_in(X609nb(_type_bit),oBC85body);
  1886. r7append(((T7*)(oBC85body)),((T0*)ms115_85));
  1887. r892c_define_with_body(((T892*)a1),oBC85body);
  1888. }
  1889. else {
  1890. r892c_define_with_body(((T892*)a1),((T0*)ms116_85));
  1891. }
  1892. /*FI*/}
  1893. /*FI*/}
  1894. /*No:NATIVE_SMALL_EIFFEL.us_implies*/
  1895. T0*oBC85tmp_string=NULL;
  1896. /*No:NATIVE_SMALL_EIFFEL.fz_16*/
  1897. /*No:NATIVE_SMALL_EIFFEL.us_is_basic_expanded_type*/
  1898. /*No:NATIVE_SMALL_EIFFEL.us_generating_type*/
  1899. T0*oBC85body=NULL;
  1900. /*No:NATIVE_SMALL_EIFFEL.fz_17*/
  1901. /*No:NATIVE_SMALL_EIFFEL.us_shift_right*/
  1902. /*No:NATIVE_SMALL_EIFFEL.us_count*/
  1903. int r85stupid_switch(T0* a1){
  1904. int R=0;
  1905. /*IF*/if ((((T0*)ms78_473))==((void*)(a1))) {
  1906. R=1;
  1907. }
  1908.  else if ((((T0*)ms79_473))==((void*)(a1))) {
  1909. R=1;
  1910. }
  1911.  else if ((((T0*)ms135_473))==((void*)(a1))) {
  1912. R=1;
  1913. }
  1914. /*FI*/return R;
  1915. }
  1916. /*No:NATIVE_SMALL_EIFFEL.us_se_argc*/
  1917. /*No:NATIVE_SMALL_EIFFEL.us_object_size*/
  1918. /*No:NATIVE_SMALL_EIFFEL.fz_double*/
  1919. /*No:NATIVE_SMALL_EIFFEL.us_se_rename*/
  1920. /*No:NATIVE_SMALL_EIFFEL.us_code*/
  1921. /*No:NATIVE_SMALL_EIFFEL.us_memory*/
  1922. void r85c_mapping_procedure(T0* a1,T0* a2,T0* a3){
  1923. T0* _t=NULL;
  1924. /*IF*/if (((((T0*)ms64_473))==((void*)(a3)))||((((T0*)ms121_473))==((void*)(a3)))) {
  1925. _t=(((T906*)((T906*)a1)))->_current_type/*4*/;
  1926. /*IF*/if (X291is_reference(_t)) {
  1927. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms1_85));
  1928. /*]*/
  1929. /*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X291id(_t));
  1930. /*]*/
  1931. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms2_85));
  1932. /*]*/
  1933. r324put_target_as_value(((T324*)(oBC364cpp)));
  1934. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms3_85));
  1935. /*]*/
  1936. /*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X291id(_t));
  1937. /*]*/
  1938. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms4_85));
  1939. /*]*/
  1940. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  1941. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms150_470));
  1942. /*]*/
  1943. }
  1944.  else if (X291is_basic_eiffel_expanded(_t)) {
  1945. r324put_target_as_value(((T324*)(oBC364cpp)));
  1946. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms134_470));
  1947. /*]*/
  1948. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  1949. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms134_470));
  1950. /*]*/
  1951. }
  1952. else {
  1953. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms5_85));
  1954. /*]*/
  1955. r324put_target_as_target(((T324*)(oBC364cpp)));
  1956. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms6_85));
  1957. /*]*/
  1958. /*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X291id(_t));
  1959. /*]*/
  1960. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms7_85));
  1961. /*]*/
  1962. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  1963. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms8_85));
  1964. /*]*/
  1965. }
  1966. /*FI*/}
  1967.  else if ((((T0*)ms75_473))==((void*)(a3))) {
  1968. /*IF*/if (r324target_cannot_be_dropped(((T324*)(oBC364cpp)))) {
  1969. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
  1970. /*]*/
  1971. }
  1972. /*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms9_85));
  1973. /*]*/
  1974. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  1975. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
  1976. /*]*/
  1977. }
  1978.  else if ((((T0*)ms142_473))==((void*)(a3))) {
  1979. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms10_85));
  1980. /*]*/
  1981. r324put_ith_argument(((T324*)(oBC364cpp)),2);
  1982. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms11_85));
  1983. /*]*/
  1984. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  1985. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms12_85));
  1986. /*]*/
  1987. }
  1988.  else if ((((T0*)ms103_473))==((void*)(a3))) {
  1989. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms13_85));
  1990. /*]*/
  1991. }
  1992.  else if ((((T0*)ms69_473))==((void*)(a3))) {
  1993. /*IF*/if (r324target_cannot_be_dropped(((T324*)(oBC364cpp)))) {
  1994. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
  1995. /*]*/
  1996. }
  1997. /*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms14_85));
  1998. /*]*/
  1999. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2000. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
  2001. /*]*/
  2002. }
  2003.  else if ((((T0*)ms116_473))==((void*)(a3))) {
  2004. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms15_85));
  2005. /*]*/
  2006. }
  2007.  else if ((((T0*)ms65_473))==((void*)(a3))) {
  2008. r324put_c_inline_c(((T324*)(oBC364cpp)));
  2009. }
  2010.  else if ((((T0*)ms66_473))==((void*)(a3))) {
  2011. r324put_c_inline_h(((T324*)(oBC364cpp)));
  2012. }
  2013.  else if ((((T0*)ms137_473))==((void*)(a3))) {
  2014. r324put_trace_switch(((T324*)(oBC364cpp)));
  2015. }
  2016.  else if ((((T0*)ms18_473))==((void*)(a2))) {
  2017. r85c_mapping_native_array_procedure(a1,a3);
  2018. }
  2019.  else if ((((T0*)ms17_473))==((void*)(a3))) {
  2020. /*IF*/if ((((T0*)ms76_473))==((void*)(a3))) {
  2021. /*IF*/if ((((T548*)((T548*)(oBC364gc_handler))))->_is_on/*0*/) {
  2022. /*IF*/if (r324cannot_drop_all(((T324*)(oBC364cpp)))) {
  2023. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
  2024. /*]*/
  2025. }
  2026. /*FI*/}
  2027. else {
  2028. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms76_473));
  2029. /*]*/
  2030. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2031. char b1='\50';
  2032. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2033. }/*]*/
  2034. /*]*/
  2035. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2036. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
  2037. /*]*/
  2038. }
  2039. /*FI*/}
  2040. /*FI*/}
  2041.  else if ((((T0*)ms4_473))==((void*)(a2))) {
  2042. r85c_mapping_bit_procedure(a1,a3);
  2043. }
  2044.  else if ((((T0*)ms120_473))==((void*)(a3))) {
  2045. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms16_85));
  2046. /*]*/
  2047. r324put_target_as_value(((T324*)(oBC364cpp)));
  2048. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms17_85));
  2049. /*]*/
  2050. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2051. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms18_85));
  2052. /*]*/
  2053. }
  2054.  else if ((((T0*)ms119_473))==((void*)(a3))) {
  2055. /*[IRF3.3sprintf_double_is_used*/((((T324*)(((T324*)(oBC364cpp)))))->_sprintf_double_flag)=(1);
  2056. /*]*/
  2057. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms19_85));
  2058. /*]*/
  2059. r324put_target_as_value(((T324*)(oBC364cpp)));
  2060. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms20_85));
  2061. /*]*/
  2062. r324put_ith_argument(((T324*)(oBC364cpp)),2);
  2063. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms21_85));
  2064. /*]*/
  2065. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2066. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms22_85));
  2067. /*]*/
  2068. }
  2069.  else if ((((T0*)ms114_473))==((void*)(a3))) {
  2070. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms23_85));
  2071. /*]*/
  2072. r324put_ith_argument(((T324*)(oBC364cpp)),2);
  2073. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms24_85));
  2074. /*]*/
  2075. r324put_ith_argument(((T324*)(oBC364cpp)),4);
  2076. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms150_470));
  2077. /*]*/
  2078. }
  2079.  else if ((((T0*)ms113_473))==((void*)(a3))) {
  2080. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms25_85));
  2081. /*]*/
  2082. r324put_ith_argument(((T324*)(oBC364cpp)),2);
  2083. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms150_470));
  2084. /*]*/
  2085. }
  2086. /*FI*/}
  2087. /*No:NATIVE_SMALL_EIFFEL.us_standard_is_equal*/
  2088. /*No:NATIVE_SMALL_EIFFEL.us_sprintf_pointer*/
  2089. int r85native_array(T0* a1){
  2090. int R=0;
  2091. R=((((T451*)((T451*)(X291base_class_name(a1)))))->_to_string/*0*/)==((void*)(((T0*)ms18_473)));
  2092. return R;
  2093. }
  2094. /*No:NATIVE_SMALL_EIFFEL.us_boolean*/
  2095. /*No:NATIVE_SMALL_EIFFEL.fz_c_eq*/
  2096. void r85c_define_procedure_bit(T0* a1,T0* a2){
  2097. T0* _type_bit=NULL;
  2098. _type_bit=(((T906*)((T906*)a1)))->_current_type/*4*/;
  2099. if(NULL!=(_type_bit))switch(((T0*)_type_bit)->id) {
  2100. case 549: case 558: 
  2101. break;
  2102. default:
  2103. _type_bit=NULL;
  2104. };/*IF*/if ((((T0*)ms105_473))==((void*)(a2))) {
  2105. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  2106. r906c_define_with_body(((T906*)a1),((T0*)ms82_85));
  2107. }
  2108. /*FI*/}
  2109.  else if ((((T0*)ms106_473))==((void*)(a2))) {
  2110. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  2111. r906c_define_with_body(((T906*)a1),((T0*)ms83_85));
  2112. }
  2113. /*FI*/}
  2114.  else if ((((T0*)ms104_473))==((void*)(a2))) {
  2115. /*IF*/if (X609is_c_unsigned_ptr(_type_bit)) {
  2116. r906c_define_with_body(((T906*)a1),((T0*)ms84_85));
  2117. }
  2118. /*FI*/}
  2119. /*FI*/}
  2120. /*No:NATIVE_SMALL_EIFFEL.us_pointer_size*/
  2121. /*No:NATIVE_SMALL_EIFFEL.fz_float*/
  2122. /*No:NATIVE_SMALL_EIFFEL.us_double*/
  2123. /*No:NATIVE_SMALL_EIFFEL.us_to_double*/
  2124. void r85c_mapping_function(T0* a1,T0* a2,T0* a3){
  2125. T0* _rf7=NULL;
  2126. T0* _rf=NULL;
  2127. T0* _rc=NULL;
  2128. T0* _ct=NULL;
  2129. int _cbd=0;
  2130. /*IF*/if ((((T0*)ms124_473))==((void*)(a3))) {
  2131. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms124_473));
  2132. /*]*/
  2133. }
  2134.  else if ((((T0*)ms125_473))==((void*)(a3))) {
  2135. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms125_473));
  2136. /*]*/
  2137. }
  2138.  else if ((((T0*)ms126_473))==((void*)(a3))) {
  2139. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms126_473));
  2140. /*]*/
  2141. }
  2142.  else if ((((T0*)ms14_473))==((void*)(a2))) {
  2143. /*IF*/if ((((T0*)ms78_473))==((void*)(a3))) {
  2144. r324put_generating_type(((T324*)(oBC364cpp)),(((T892*)((T892*)a1)))->_current_type/*4*/);
  2145. }
  2146.  else if ((((T0*)ms79_473))==((void*)(a3))) {
  2147. r324put_generator(((T324*)(oBC364cpp)),(((T892*)((T892*)a1)))->_current_type/*4*/);
  2148. }
  2149.  else if ((((T0*)ms135_473))==((void*)(a3))) {
  2150. r324put_to_pointer(((T324*)(oBC364cpp)));
  2151. }
  2152.  else if ((((T0*)ms98_473))==((void*)(a3))) {
  2153. r324put_object_size(((T324*)(oBC364cpp)),(((T892*)((T892*)a1)))->_current_type/*4*/);
  2154. }
  2155.  else if (((((T0*)ms84_473))==((void*)(a3)))||((((T0*)ms122_473))==((void*)(a3)))) {
  2156. _ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
  2157. _rc=X291run_class(_ct);
  2158. /*IF*/if ((X291is_basic_eiffel_expanded(_ct))||(r85native_array(_ct))) {
  2159. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2160. char b1='\50';
  2161. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2162. }/*]*/
  2163. /*]*/
  2164. r324put_target_as_value(((T324*)(oBC364cpp)));
  2165. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2166. char b1='\51';
  2167. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2168. }/*]*/
  2169. /*]*/
  2170. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms87_470));
  2171. /*]*/
  2172. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2173. char b1='\50';
  2174. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2175. }/*]*/
  2176. /*]*/
  2177. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2178. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2179. char b1='\51';
  2180. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2181. }/*]*/
  2182. /*]*/
  2183. }
  2184.  else if (r355is_tagged(((T355*)_rc))) {
  2185. r892default_mapping_function(((T892*)a1));
  2186. }
  2187.  else if ((r355writable_attributes(((T355*)_rc)))==((void*)(NULL))) {
  2188. /*IF*/if (r590boost(((T590*)(oBC364run_control)))) {
  2189. _cbd=r324cannot_drop_all(((T324*)(oBC364cpp)));
  2190. /*IF*/if (_cbd) {
  2191. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2192. char b1='\54';
  2193. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2194. }/*]*/
  2195. /*]*/
  2196. }
  2197. /*FI*//*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2198. char b1='1';
  2199. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2200. }/*]*/
  2201. /*]*/
  2202. /*IF*/if (_cbd) {
  2203. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2204. char b1='\51';
  2205. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2206. }/*]*/
  2207. /*]*/
  2208. }
  2209. /*FI*/}
  2210. else {
  2211. r892default_mapping_function(((T892*)a1));
  2212. }
  2213. /*FI*/}
  2214.  else if (r590boost(((T590*)(oBC364run_control)))) {
  2215. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms31_85));
  2216. /*]*/
  2217. r324put_target_as_target(((T324*)(oBC364cpp)));
  2218. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2219. char b1='\54';
  2220. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2221. }/*]*/
  2222. /*]*/
  2223. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2224. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms32_85));
  2225. /*]*/
  2226. /*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),(((T355*)((T355*)_rc)))->_id/*4*/);
  2227. /*]*/
  2228. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
  2229. /*]*/
  2230. }
  2231. else {
  2232. r892default_mapping_function(((T892*)a1));
  2233. }
  2234. /*FI*/}
  2235.  else if ((((T0*)ms123_473))==((void*)(a3))) {
  2236. r85c_mapping_standard_twin(a1,(((T892*)((T892*)a1)))->_current_type/*4*/);
  2237. }
  2238.  else if ((((T0*)ms139_473))==((void*)(a3))) {
  2239. _ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
  2240. _rc=X291run_class(_ct);
  2241. _rf=r355get_copy(((T355*)_rc));
  2242. _rf7=_rf;
  2243. if(NULL!=(_rf7))switch(((T0*)_rf7)->id) {
  2244. case 906: 
  2245. break;
  2246. default:
  2247. _rf7=NULL;
  2248. };/*IF*/if ((_rf7)!=((void*)(NULL))) {
  2249. r85c_mapping_standard_twin(a1,_ct);
  2250. }
  2251. else {
  2252. r892default_mapping_function(((T892*)a1));
  2253. }
  2254. /*FI*/}
  2255.  else if ((((T0*)ms82_473))==((void*)(a3))) {
  2256. _cbd=r324cannot_drop_all(((T324*)(oBC364cpp)));
  2257. /*IF*/if (_cbd) {
  2258. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2259. char b1='\54';
  2260. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2261. }/*]*/
  2262. /*]*/
  2263. }
  2264. /*FI*//*IF*/if (X291is_basic_eiffel_expanded((((T892*)((T892*)a1)))->_current_type/*4*/)) {
  2265. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2266. char b1='1';
  2267. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2268. }/*]*/
  2269. /*]*/
  2270. }
  2271. else {
  2272. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2273. char b1='0';
  2274. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2275. }/*]*/
  2276. /*]*/
  2277. }
  2278. /*FI*//*IF*/if (_cbd) {
  2279. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2280. char b1='\51';
  2281. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2282. }/*]*/
  2283. /*]*/
  2284. }
  2285. /*FI*/}
  2286.  else if ((((T0*)ms83_473))==((void*)(a3))) {
  2287. _cbd=r324cannot_drop_all(((T324*)(oBC364cpp)));
  2288. /*IF*/if (_cbd) {
  2289. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2290. char b1='\54';
  2291. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2292. }/*]*/
  2293. /*]*/
  2294. }
  2295. /*FI*//*IF*/if (X291is_expanded((((T892*)((T892*)a1)))->_current_type/*4*/)) {
  2296. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2297. char b1='1';
  2298. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2299. }/*]*/
  2300. /*]*/
  2301. }
  2302. else {
  2303. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2304. char b1='0';
  2305. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2306. }/*]*/
  2307. /*]*/
  2308. }
  2309. /*FI*//*IF*/if (_cbd) {
  2310. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2311. char b1='\51';
  2312. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2313. }/*]*/
  2314. /*]*/
  2315. }
  2316. /*FI*/}
  2317.  else if ((((T0*)ms110_473))==((void*)(a3))) {
  2318. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms110_473));
  2319. /*]*/
  2320. }
  2321.  else if ((((T0*)ms111_473))==((void*)(a3))) {
  2322. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms33_85));
  2323. /*]*/
  2324. }
  2325.  else if ((((T0*)ms112_473))==((void*)(a3))) {
  2326. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms34_85));
  2327. /*]*/
  2328. }
  2329. /*FI*/}
  2330.  else if ((((T0*)ms18_473))==((void*)(a2))) {
  2331. r85c_mapping_native_array_function(a1,a3);
  2332. }
  2333.  else if ((((T0*)ms15_473))==((void*)(a2))) {
  2334. r85c_mapping_integer_function(a1,a3);
  2335. }
  2336.  else if ((((T0*)ms23_473))==((void*)(a2))) {
  2337. r85c_mapping_real_function(a1,a3);
  2338. }
  2339.  else if ((((T0*)ms11_473))==((void*)(a2))) {
  2340. r85c_mapping_double_function(a1,a3);
  2341. }
  2342.  else if ((((T0*)ms6_473))==((void*)(a2))) {
  2343. /*IF*/if ((((T0*)ms34_473))==((void*)(a3))) {
  2344. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms35_85));
  2345. /*]*/
  2346. r324put_target_as_value(((T324*)(oBC364cpp)));
  2347. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms36_85));
  2348. /*]*/
  2349. r324put_arguments(((T324*)(oBC364cpp)));
  2350. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2351. char b1='\51';
  2352. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2353. }/*]*/
  2354. /*]*/
  2355. }
  2356. else {
  2357. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2358. char b1='\50';
  2359. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2360. }/*]*/
  2361. /*]*/
  2362. r324put_target_as_value(((T324*)(oBC364cpp)));
  2363. /*IF*/if ((((T0*)ms42_473))==((void*)(a3))) {
  2364. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms37_85));
  2365. /*]*/
  2366. }
  2367. else {
  2368. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms38_85));
  2369. /*]*/
  2370. }
  2371. /*FI*/r324put_arguments(((T324*)(oBC364cpp)));
  2372. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2373. char b1='\51';
  2374. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2375. }/*]*/
  2376. /*]*/
  2377. }
  2378. /*FI*/}
  2379.  else if ((((T0*)ms8_473))==((void*)(a2))) {
  2380. /*IF*/if ((((T0*)ms62_473))==((void*)(a3))) {
  2381. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms39_85));
  2382. /*]*/
  2383. r324put_target_as_value(((T324*)(oBC364cpp)));
  2384. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2385. char b1='\51';
  2386. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2387. }/*]*/
  2388. /*]*/
  2389. }
  2390. else {
  2391. r324put_target_as_value(((T324*)(oBC364cpp)));
  2392. }
  2393. /*FI*/}
  2394.  else if ((((T0*)ms21_473))==((void*)(a2))) {
  2395. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms40_85));
  2396. /*]*/
  2397. r324put_target_as_value(((T324*)(oBC364cpp)));
  2398. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2399. char b1='\51';
  2400. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2401. }/*]*/
  2402. /*]*/
  2403. }
  2404.  else if ((((T0*)ms20_473))==((void*)(a2))) {
  2405. _cbd=r324target_cannot_be_dropped(((T324*)(oBC364cpp)));
  2406. /*IF*/if (_cbd) {
  2407. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2408. char b1='\54';
  2409. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2410. }/*]*/
  2411. /*]*/
  2412. }
  2413. else {
  2414. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2415. char b1='\40';
  2416. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2417. }/*]*/
  2418. /*]*/
  2419. }
  2420. /*FI*//*IF*/if ((((T0*)ms56_473))==((void*)(a3))) {
  2421. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms41_85));
  2422. /*]*/
  2423. }
  2424.  else if (((((T0*)ms81_473))==((void*)(a3)))||((((T0*)ms53_473))==((void*)(a3)))) {
  2425. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms42_85));
  2426. /*]*/
  2427. }
  2428.  else if ((((T0*)ms108_473))==((void*)(a3))) {
  2429. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms43_85));
  2430. /*]*/
  2431. }
  2432.  else if ((((T0*)ms67_473))==((void*)(a3))) {
  2433. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms44_85));
  2434. /*]*/
  2435. }
  2436.  else if ((((T0*)ms99_473))==((void*)(a3))) {
  2437. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms45_85));
  2438. /*]*/
  2439. }
  2440.  else if ((((T0*)ms90_473))==((void*)(a3))) {
  2441. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms46_85));
  2442. /*]*/
  2443. }
  2444.  else if ((((T0*)ms91_473))==((void*)(a3))) {
  2445. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms47_85));
  2446. /*]*/
  2447. }
  2448.  else if ((((T0*)ms92_473))==((void*)(a3))) {
  2449. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms48_85));
  2450. /*]*/
  2451. }
  2452.  else if ((((T0*)ms93_473))==((void*)(a3))) {
  2453. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms49_85));
  2454. /*]*/
  2455. }
  2456.  else if ((((T0*)ms94_473))==((void*)(a3))) {
  2457. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms50_85));
  2458. /*]*/
  2459. }
  2460.  else if ((((T0*)ms95_473))==((void*)(a3))) {
  2461. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms51_85));
  2462. /*]*/
  2463. }
  2464.  else if ((((T0*)ms96_473))==((void*)(a3))) {
  2465. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms52_85));
  2466. /*]*/
  2467. }
  2468.  else if ((((T0*)ms97_473))==((void*)(a3))) {
  2469. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms53_85));
  2470. /*]*/
  2471. }
  2472. /*FI*//*IF*/if (_cbd) {
  2473. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2474. char b1='\51';
  2475. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2476. }/*]*/
  2477. /*]*/
  2478. }
  2479. else {
  2480. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2481. char b1='\40';
  2482. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2483. }/*]*/
  2484. /*]*/
  2485. }
  2486. /*FI*/}
  2487.  else if ((((T0*)ms71_473))==((void*)(a3))) {
  2488. _cbd=r324cannot_drop_all(((T324*)(oBC364cpp)));
  2489. /*IF*/if (_cbd) {
  2490. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2491. char b1='\54';
  2492. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2493. }/*]*/
  2494. /*]*/
  2495. }
  2496. /*FI*//*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms54_85));
  2497. /*]*/
  2498. /*IF*/if (_cbd) {
  2499. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2500. char b1='\51';
  2501. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2502. }/*]*/
  2503. /*]*/
  2504. }
  2505. /*FI*/}
  2506.  else if ((((T0*)ms73_473))==((void*)(a3))) {
  2507. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms55_85));
  2508. /*]*/
  2509. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2510. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
  2511. /*]*/
  2512. }
  2513.  else if ((((T0*)ms117_473))==((void*)(a3))) {
  2514. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms36_470));
  2515. /*]*/
  2516. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2517. char b1='\50';
  2518. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2519. }/*]*/
  2520. /*]*/
  2521. r324put_ith_argument(((T324*)(oBC364cpp)),2);
  2522. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms56_85));
  2523. /*]*/
  2524. }
  2525.  else if ((((T0*)ms118_473))==((void*)(a3))) {
  2526. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms36_470));
  2527. /*]*/
  2528. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2529. char b1='\50';
  2530. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2531. }/*]*/
  2532. /*]*/
  2533. r324put_ith_argument(((T324*)(oBC364cpp)),2);
  2534. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms57_85));
  2535. /*]*/
  2536. }
  2537.  else if ((((T0*)ms115_473))==((void*)(a3))) {
  2538. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms58_85));
  2539. /*]*/
  2540. }
  2541.  else if ((((T0*)ms4_473))==((void*)(a2))) {
  2542. r85c_mapping_bit_function(a1,a3);
  2543. }
  2544.  else if ((((T0*)ms52_473))==((void*)(a3))) {
  2545. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2546. char b1='\50';
  2547. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2548. }/*]*/
  2549. /*]*/
  2550. r324put_target_as_value(((T324*)(oBC364cpp)));
  2551. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms59_85));
  2552. /*]*/
  2553. }
  2554.  else if ((((T0*)ms100_473))==((void*)(a3))) {
  2555. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms123_470));
  2556. /*]*/
  2557. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2558. char b1='\50';
  2559. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2560. }/*]*/
  2561. /*]*/
  2562. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms128_470));
  2563. /*]*/
  2564. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2565. char b1='\51';
  2566. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2567. }/*]*/
  2568. /*]*/
  2569. }
  2570.  else if ((((T0*)ms107_473))==((void*)(a3))) {
  2571. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms60_85));
  2572. /*]*/
  2573. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2574. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms147_470));
  2575. /*]*/
  2576. }
  2577. /*FI*/}
  2578. /*No:NATIVE_SMALL_EIFFEL.fz_int*/
  2579. /*No:NATIVE_SMALL_EIFFEL.us_xor*/
  2580. /*No:NATIVE_SMALL_EIFFEL.us_platform*/
  2581. /*No:NATIVE_SMALL_EIFFEL.us_to_bit*/
  2582. /*No:NATIVE_SMALL_EIFFEL.us_is_equal*/
  2583. /*No:NATIVE_SMALL_EIFFEL.us_to_character*/
  2584. /*No:NATIVE_SMALL_EIFFEL.us_se_string2double*/
  2585. /*No:NATIVE_SMALL_EIFFEL.us_free*/
  2586. int r85use_current(T0* a1){
  2587. int R=0;
  2588. T0* _n=NULL;
  2589. _n=X776to_string(/*X279*/((T0*)/*(IRF4.6first_name*//*(IRF4.6item*/r855item(((T855*)((((T953*)((T953*)((((T679*)((T679*)a1)))->_names/*8*/))))->_list/*0*/)),1)/*)*//*)*/));
  2590. /*IF*/if ((((T0*)ms110_473))==((void*)(_n))) {
  2591. }
  2592.  else if ((((T0*)ms107_473))==((void*)(_n))) {
  2593. }
  2594.  else if ((((T0*)ms111_473))==((void*)(_n))) {
  2595. }
  2596.  else if ((((T0*)ms114_473))==((void*)(_n))) {
  2597. }
  2598.  else if ((((T0*)ms113_473))==((void*)(_n))) {
  2599. }
  2600.  else if ((((T0*)ms116_473))==((void*)(_n))) {
  2601. }
  2602.  else if ((((T0*)ms142_473))==((void*)(_n))) {
  2603. }
  2604. else {
  2605. R=1;
  2606. }
  2607. /*FI*/return R;
  2608. }
  2609. /*No:NATIVE_SMALL_EIFFEL.us_read_byte*/
  2610. /*No:NATIVE_SMALL_EIFFEL.us_not*/
  2611. /*No:NATIVE_SMALL_EIFFEL.us_trace_switch*/
  2612. /*No:NATIVE_SMALL_EIFFEL.us_feof*/
  2613. /*No:NATIVE_SMALL_EIFFEL.us_boolean_bits*/
  2614. void r85c_mapping_native_array_function(T0* a1,T0* a2){
  2615. int _tcbd=0;
  2616. T0* _elt_type=NULL;
  2617. _elt_type=X291run_type(r701item(((T701*)(X291generic_list((((T892*)((T892*)a1)))->_current_type/*4*/))),1));
  2618. /*IF*/if ((((T0*)ms70_473))==((void*)(a2))) {
  2619. _tcbd=r324target_cannot_be_dropped(((T324*)(oBC364cpp)));
  2620. /*IF*/if (_tcbd) {
  2621. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2622. char b1='\54';
  2623. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2624. }/*]*/
  2625. /*]*/
  2626. }
  2627. /*FI*/r7copy(((T7*)(oBC85tmp_string)),((T0*)ms123_470));
  2628. r7extend(((T7*)(oBC85tmp_string)),'\50');
  2629. X291c_type_for_argument_in(_elt_type,oBC85tmp_string);
  2630. r7extend(((T7*)(oBC85tmp_string)),'\51');
  2631. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC85tmp_string);
  2632. /*]*/
  2633. /*IF*/if (_tcbd) {
  2634. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2635. char b1='\51';
  2636. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2637. }/*]*/
  2638. /*]*/
  2639. }
  2640. /*FI*/}
  2641.  else if ((a2)==((void*)(((T0*)ms54_473)))) {
  2642. /*IF*/if ((X291expanded_initializer(_elt_type))==((void*)(NULL))) {
  2643. _tcbd=r324target_cannot_be_dropped(((T324*)(oBC364cpp)));
  2644. /*IF*/if (_tcbd) {
  2645. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2646. char b1='\54';
  2647. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2648. }/*]*/
  2649. /*]*/
  2650. }
  2651. /*FI*//*IF*/if ((((T548*)((T548*)(oBC364gc_handler))))->_is_on/*0*/) {
  2652. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms115_470));
  2653. /*]*/
  2654. /*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X291id((((T892*)((T892*)a1)))->_current_type/*4*/));
  2655. /*]*/
  2656. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2657. char b1='\50';
  2658. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2659. }/*]*/
  2660. /*]*/
  2661. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2662. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2663. char b1='\51';
  2664. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2665. }/*]*/
  2666. /*]*/
  2667. }
  2668. else {
  2669. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms54_473));
  2670. /*]*/
  2671. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2672. char b1='\50';
  2673. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2674. }/*]*/
  2675. /*]*/
  2676. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2677. /*[IRF3.3clear*/((((T7*)(((T7*)(oBC85tmp_string)))))->_count)=(0);
  2678. /*]*/
  2679. r7extend(((T7*)(oBC85tmp_string)),'\54');
  2680. r7append(((T7*)(oBC85tmp_string)),((T0*)ms123_470));
  2681. r7extend(((T7*)(oBC85tmp_string)),'\50');
  2682. X291c_type_for_result_in(_elt_type,oBC85tmp_string);
  2683. r7append(((T7*)(oBC85tmp_string)),((T0*)ms147_470));
  2684. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC85tmp_string);
  2685. /*]*/
  2686. }
  2687. /*FI*//*IF*/if (_tcbd) {
  2688. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2689. char b1='\51';
  2690. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2691. }/*]*/
  2692. /*]*/
  2693. }
  2694. /*FI*/}
  2695. else {
  2696. r892default_mapping_function(((T892*)a1));
  2697. }
  2698. /*FI*/}
  2699.  else if ((a2)==((void*)(((T0*)ms77_473)))) {
  2700. _tcbd=r324target_cannot_be_dropped(((T324*)(oBC364cpp)));
  2701. /*IF*/if (_tcbd) {
  2702. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2703. char b1='\54';
  2704. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2705. }/*]*/
  2706. /*]*/
  2707. }
  2708. /*FI*/r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2709. /*IF*/if (_tcbd) {
  2710. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2711. char b1='\51';
  2712. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2713. }/*]*/
  2714. /*]*/
  2715. }
  2716. /*FI*/}
  2717. else {
  2718. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2719. char b1='\50';
  2720. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2721. }/*]*/
  2722. /*]*/
  2723. r324put_target_as_value(((T324*)(oBC364cpp)));
  2724. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms68_85));
  2725. /*]*/
  2726. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2727. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2728. char b1='\135';
  2729. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2730. }/*]*/
  2731. /*]*/
  2732. }
  2733. /*FI*/}
  2734. /*No:NATIVE_SMALL_EIFFEL.us_to_integer*/
  2735. /*No:NATIVE_SMALL_EIFFEL.us_se_getenv*/
  2736. void r85c_mapping_native_array_procedure(T0* a1,T0* a2){
  2737. T0* _elt_type=NULL;
  2738. _elt_type=X291run_type(r701item(((T701*)(X291generic_list((((T906*)((T906*)a1)))->_current_type/*4*/))),1));
  2739. /*IF*/if ((a2)==((void*)(((T0*)ms104_473)))) {
  2740. /*IF*/if (X291is_user_expanded(_elt_type)) {
  2741. /*IF*/if (X291is_dummy_expanded(_elt_type)) {
  2742. /*IF*/if (r324cannot_drop_all(((T324*)(oBC364cpp)))) {
  2743. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
  2744. /*]*/
  2745. }
  2746. /*FI*/}
  2747. else {
  2748. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms69_85));
  2749. /*]*/
  2750. r324put_target_as_value(((T324*)(oBC364cpp)));
  2751. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms70_85));
  2752. /*]*/
  2753. r324put_ith_argument(((T324*)(oBC364cpp)),2);
  2754. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms71_85));
  2755. /*]*/
  2756. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2757. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms72_85));
  2758. /*]*/
  2759. /*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X291id(_elt_type));
  2760. /*]*/
  2761. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms150_470));
  2762. /*]*/
  2763. }
  2764. /*FI*/}
  2765. else {
  2766. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2767. char b1='\50';
  2768. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2769. }/*]*/
  2770. /*]*/
  2771. r324put_target_as_value(((T324*)(oBC364cpp)));
  2772. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms73_85));
  2773. /*]*/
  2774. r324put_ith_argument(((T324*)(oBC364cpp)),2);
  2775. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms74_85));
  2776. /*]*/
  2777. r324put_ith_argument(((T324*)(oBC364cpp)),1);
  2778. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
  2779. /*]*/
  2780. }
  2781. /*FI*/}
  2782.  else if ((a2)==((void*)(((T0*)ms76_473)))) {
  2783. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms76_473));
  2784. /*]*/
  2785. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2786. char b1='\50';
  2787. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2788. }/*]*/
  2789. /*]*/
  2790. r324put_target_as_value(((T324*)(oBC364cpp)));
  2791. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms148_470));
  2792. /*]*/
  2793. }
  2794. /*FI*/}
  2795. /*No:NATIVE_SMALL_EIFFEL.fatal_error*/
  2796. /*No:NATIVE_SMALL_EIFFEL.us_calloc*/
  2797. /*No:NATIVE_SMALL_EIFFEL.us_to_pointer*/
  2798. /*No:NATIVE_SMALL_EIFFEL.fz_char*/
  2799. /*No:NATIVE_SMALL_EIFFEL.us_real_bits*/
  2800. /*No:NATIVE_SMALL_EIFFEL.us_element_sizeof*/
  2801. /*No:NATIVE_SMALL_EIFFEL.us_c_inline_h*/
  2802. /*No:NATIVE_SMALL_EIFFEL.us_native_array*/
  2803. /*No:NATIVE_SMALL_EIFFEL.us_pow*/
  2804. /*No:NATIVE_SMALL_EIFFEL.us_eof_code*/
  2805. /*No:NATIVE_SMALL_EIFFEL.us_print_run_time_stack*/
  2806. void r85c_define_twin(T0* a1,T0* a2,T0* a3,T0* a4){
  2807. int _id=0;
  2808. r892c_opening(((T892*)a1));
  2809. /*IF*/if (X291is_reference(a2)) {
  2810. /*IF*/if ((((T548*)((T548*)(oBC364gc_handler))))->_is_on/*0*/) {
  2811. /*[IRF3.3clear*/((((T7*)(((T7*)(oBC85body)))))->_count)=(0);
  2812. /*]*/
  2813. r7extend(((T7*)(oBC85body)),'R');
  2814. r7extend(((T7*)(oBC85body)),'\75');
  2815. r7extend(((T7*)(oBC85body)),'\50');
  2816. r7append(((T7*)(oBC85body)),((T0*)ms86_470));
  2817. X291gc_call_new_in(a2,oBC85body);
  2818. r7extend(((T7*)(oBC85body)),'\51');
  2819. r7append(((T7*)(oBC85body)),((T0*)ms134_470));
  2820. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),oBC85body);
  2821. /*]*/
  2822. }
  2823. else {
  2824. _id=(((T355*)((T355*)a3)))->_id/*4*/;
  2825. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms65_85));
  2826. /*]*/
  2827. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms66_85));
  2828. /*]*/
  2829. /*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),_id);
  2830. /*]*/
  2831. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms67_85));
  2832. /*]*/
  2833. /*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),_id);
  2834. /*]*/
  2835. /*[IRF3.5put_string*/r544put_string(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),((T0*)ms134_470));
  2836. /*]*/
  2837. }
  2838. /*FI*/}
  2839. /*FI*/r324inside_twin(((T324*)(oBC364cpp)),a4);
  2840. r892c_closing(((T892*)a1));
  2841. }
  2842. /*No:NATIVE_SMALL_EIFFEL.us_minimum_double*/
  2843. /*No:NATIVE_SMALL_EIFFEL.us_se_argv*/
  2844. /*No:NATIVE_SMALL_EIFFEL.us_or*/
  2845. /*No:NATIVE_SMALL_EIFFEL.us_maximum_double*/
  2846. /*No:NATIVE_SMALL_EIFFEL.us_to_real*/
  2847. /*No:NATIVE_SMALL_EIFFEL.us_general*/
  2848. /*No:CALL_INFIX_MINUS.arguments*/
  2849. T0* r574add_comment(T574* C,T0* a1){
  2850. T0* R=NULL;
  2851. /*IF*/if (((a1)==((void*)(NULL)))||((/*(IRF4.6count*/r52count(((T52*)((((T393*)((T393*)a1)))->_list/*4*/)))/*)*/)==(0))) {
  2852. R=(T0*)C;
  2853. }
  2854. else {
  2855. {T529*n=malloc(sizeof(*n));
  2856. *n=M529;
  2857. r529make(n,(T0*)C,a1);
  2858. R=(T0*)n;
  2859. }
  2860. }
  2861. /*FI*/return R;
  2862. }
  2863. int r574to_integer(T574* C){
  2864. int R=0;
  2865. r574error(/*(IRF4.6start_position*/(((T454*)((T454*)((((T574*)C))->_feature_name/*28*/))))->_start_position/*8*//*)*/,((T0*)ms69_470));
  2866. return R;
  2867. }
  2868. int r574is_a(T574* C,T0* a1){
  2869. int R=0;
  2870. R=X291is_a(X291run_type((((T574*)C))->_result_type/*20*/),X291run_type(X662result_type(a1)));
  2871. /*IF*/if (!(R)) {
  2872. r683add_position(/*(IRF4.6start_position*/(((T454*)((T454*)((((T574*)C))->_feature_name/*28*/))))->_start_position/*8*//*)*/);
  2873. r574error(X662start_position(a1),((T0*)ms4_662));
  2874. }
  2875. /*FI*/return R;
  2876. }
  2877. /*No:CALL_INFIX_MINUS.is_current*/
  2878. void r574mapping_c_arg(T574* C,T0* a1){
  2879. T0* _actual_type=NULL;
  2880. _actual_type=X291run_type((((T574*)C))->_result_type/*20*/);
  2881. /*IF*/if (X291is_reference(_actual_type)) {
  2882. /*IF*/if (X291is_reference(a1)) {
  2883. /*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
  2884. r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
  2885. }/*]*/
  2886. /*]*/
  2887. }
  2888. else {
  2889. X291to_expanded(_actual_type);
  2890. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2891. char b1='\50';
  2892. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2893. }/*]*/
  2894. /*]*/
  2895. /*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
  2896. r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
  2897. }/*]*/
  2898. /*]*/
  2899. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2900. char b1='\51';
  2901. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2902. }/*]*/
  2903. /*]*/
  2904. }
  2905. /*FI*/}
  2906. else {
  2907. /*IF*/if (X291is_reference(a1)) {
  2908. X291to_reference(_actual_type);
  2909. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2910. char b1='\50';
  2911. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2912. }/*]*/
  2913. /*]*/
  2914. /*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
  2915. r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
  2916. }/*]*/
  2917. /*]*/
  2918. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2919. char b1='\51';
  2920. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2921. }/*]*/
  2922. /*]*/
  2923. }
  2924. else {
  2925. /*IF*/if (X291need_c_struct(a1)) {
  2926. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2927. char b1='\46';
  2928. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2929. }/*]*/
  2930. /*]*/
  2931. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2932. char b1='\50';
  2933. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2934. }/*]*/
  2935. /*]*/
  2936. /*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
  2937. r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
  2938. }/*]*/
  2939. /*]*/
  2940. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2941. char b1='\51';
  2942. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2943. }/*]*/
  2944. /*]*/
  2945. }
  2946. else {
  2947. /*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
  2948. r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
  2949. }/*]*/
  2950. /*]*/
  2951. }
  2952. /*FI*/}
  2953. /*FI*/}
  2954. /*FI*/}
  2955. /*No:CALL_INFIX_MINUS.static_value*/
  2956. void r574make(T574* C,T0* a1,T0* a2,T0* a3){
  2957. T0* _eal=NULL;
  2958. /*IF*/if (((a1)==((void*)(NULL)))||((a3)==((void*)(NULL)))) {
  2959. r683add_position(a2);
  2960. /*[IRF3.6fatal_error*/{T0* b1=((T0*)ms1_618);
  2961. r683fatal_error(((T683*)(oBC364eh)),b1);
  2962. }/*]*/
  2963. }
  2964. /*FI*/{T454*n=malloc(sizeof(*n));
  2965. *n=M454;
  2966. r454make(n,r574operator(),a2);
  2967. C->_feature_name=(T0*)n;
  2968. }
  2969. {T431*n=malloc(sizeof(*n));
  2970. *n=M431;
  2971. /*[IRF3.3make*/((((T431*)(n)))->_list)=(se_ma96(1,a3));
  2972. /*]*/
  2973. _eal=(T0*)n;
  2974. }
  2975. r574make_call_1(C,a1,(((T574*)C))->_feature_name/*28*/,_eal);
  2976. }
  2977. void r574mapping_c_target(T574* C,T0* a1){
  2978. T0* _actual_type=NULL;
  2979. int _flag=0;
  2980. _flag=r324call_invariant_start(a1);
  2981. _actual_type=X291run_type((((T574*)C))->_result_type/*20*/);
  2982. /*IF*/if (X291is_reference(_actual_type)) {
  2983. /*IF*/if (X291is_reference(a1)) {
  2984. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2985. char b1='\50';
  2986. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2987. }/*]*/
  2988. /*]*/
  2989. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2990. char b1='\50';
  2991. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2992. }/*]*/
  2993. /*]*/
  2994. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  2995. char b1='T';
  2996. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  2997. }/*]*/
  2998. /*]*/
  2999. /*[IRF3.5put_integer*/r544put_integer(((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/)),X291id(a1));
  3000. /*]*/
  3001. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3002. char b1='\52';
  3003. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3004. }/*]*/
  3005. /*]*/
  3006. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3007. char b1='\51';
  3008. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3009. }/*]*/
  3010. /*]*/
  3011. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3012. char b1='\50';
  3013. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3014. }/*]*/
  3015. /*]*/
  3016. /*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
  3017. r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
  3018. }/*]*/
  3019. /*]*/
  3020. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3021. char b1='\51';
  3022. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3023. }/*]*/
  3024. /*]*/
  3025. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3026. char b1='\51';
  3027. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3028. }/*]*/
  3029. /*]*/
  3030. }
  3031. else {
  3032. X291to_expanded(_actual_type);
  3033. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3034. char b1='\50';
  3035. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3036. }/*]*/
  3037. /*]*/
  3038. /*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
  3039. r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
  3040. }/*]*/
  3041. /*]*/
  3042. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3043. char b1='\51';
  3044. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3045. }/*]*/
  3046. /*]*/
  3047. }
  3048. /*FI*/}
  3049. else {
  3050. /*IF*/if (X291is_reference(a1)) {
  3051. X291to_reference(_actual_type);
  3052. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3053. char b1='\50';
  3054. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3055. }/*]*/
  3056. /*]*/
  3057. /*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
  3058. r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
  3059. }/*]*/
  3060. /*]*/
  3061. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3062. char b1='\51';
  3063. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3064. }/*]*/
  3065. /*]*/
  3066. }
  3067. else {
  3068. /*IF*/if (X291need_c_struct(a1)) {
  3069. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3070. char b1='\46';
  3071. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3072. }/*]*/
  3073. /*]*/
  3074. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3075. char b1='\50';
  3076. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3077. }/*]*/
  3078. /*]*/
  3079. /*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
  3080. r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
  3081. }/*]*/
  3082. /*]*/
  3083. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3084. char b1='\51';
  3085. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3086. }/*]*/
  3087. /*]*/
  3088. }
  3089. else {
  3090. /*[IRF3.4compile_to_c*//*[IRF3.6call_proc_call_c2c*/{T574* C1=C;
  3091. r324put_cpc(((T324*)(oBC364cpp)),(T0*)C1);
  3092. }/*]*/
  3093. /*]*/
  3094. }
  3095. /*FI*/}
  3096. /*FI*/}
  3097. /*FI*//*IF*/if (_flag) {
  3098. /*[IRF3.2call_invariant_end*//*[IRF3.6put_character*/{T544* C1=((T544*)(oBC324out_c));
  3099. char b1='\51';
  3100. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3101. }/*]*/
  3102. /*]*/
  3103. }
  3104. /*FI*/}
  3105. /*No:CALL_INFIX_MINUS.nb_errors*/
  3106. /*No:CALL_INFIX_MINUS.feature_name*/
  3107. /*No:CALL_INFIX_MINUS.fz_iinaiv*/
  3108. /*No:CALL_INFIX_MINUS.arg_count*/
  3109. void r574dca_inline_argument(T574* C,T0* a1){
  3110. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3111. char b1='\50';
  3112. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3113. }/*]*/
  3114. /*]*/
  3115. X662dca_inline_argument((((T574*)C))->_target/*12*/,a1);
  3116. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3117. char b1='\51';
  3118. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3119. }/*]*/
  3120. /*]*/
  3121. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3122. char b1='\55';
  3123. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3124. }/*]*/
  3125. /*]*/
  3126. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3127. char b1='\50';
  3128. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3129. }/*]*/
  3130. /*]*/
  3131. X662dca_inline_argument(r574arg1(C),a1);
  3132. /*[IRF3.5put_character*//*[IRF3.6put_character*/{T544* C1=((T544*)((((T324*)((T324*)(oBC364cpp))))->_current_out/*56*/));
  3133. char b1='\51';
  3134. putc(b1,((FILE*)((((T544*)C1))->_output_stream/*4*/)));
  3135. }/*]*/
  3136. /*]*/
  3137. }
  3138. /*No:CALL_INFIX_MINUS.run_feature*/
  3139. /*No:CALL_INFIX_MINUS.call_proc_call_c2c*/
  3140. /*No:CALL_INFIX_MINUS.start_position*/
  3141. /*No:CALL_INFIX_MINUS.target*/
  3142. /*No:CALL_INFIX_MINUS.compile_to_c*/
  3143. /*No:CALL_INFIX_MINUS.c_simple*/
  3144. T0* r574to_runnable(T574* C,T0* a1){
  3145. T0* R=NULL;
  3146. T0* _tla=NULL;
  3147. T0* _a=NULL;
  3148. /*IF*/if (((((T574*)C))->_current_type/*8*/)==((void*)(NULL))) {
  3149. r574to_runnable_0(C,a1);
  3150. _a=X431to_runnable((((T574*)C))->_arguments/*24*/,a1);
  3151. /*IF*/if ((_a)==((void*)(NULL))) {
  3152. r574error(X662start_position(r574arg1(C)),((T0*)ms55_470));
  3153. }
  3154. else {
  3155. C->_arguments=_a;
  3156. }
  3157. /*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
  3158. X431match_with((((T574*)C))->_arguments/*24*/,(((T574*)C))->_run_feature/*16*/);
  3159. }
  3160. /*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
  3161. _tla=(((T574*)C))->_result_type/*20*/;
  3162. if(NULL!=(_tla))switch(((T0*)_tla)->id) {
  3163. case 239: 
  3164. break;
  3165. default:
  3166. _tla=NULL;
  3167. };/*IF*/if ((_tla)!=((void*)(NULL))) {
  3168. C->_result_type=X291run_type(X662result_type(r574arg1(C)));
  3169. }
  3170. /*FI*/}
  3171. /*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
  3172. R=(T0*)C;
  3173. }
  3174. /*FI*/}
  3175. else {
  3176. R=r574twin(C);
  3177. /*[IRF3.3set_current_type*/((((T574*)(((T574*)R))))->_current_type)=(NULL);
  3178. /*]*/
  3179. R=r574to_runnable(((T574*)R),a1);
  3180. }
  3181. /*FI*/return R;
  3182. }
  3183. /*No:CALL_INFIX_MINUS.result_type*/
  3184. /*No:CALL_INFIX_MINUS.is_result*/
  3185. T0* r574twin(T574* C){
  3186. T0* R=NULL;
  3187. R=malloc(sizeof(*C));
  3188. *((T574*)R)=*C;
  3189. return R;
  3190. }
  3191. /*No:CALL_INFIX_MINUS.set_current_type*/
  3192. T0* r574operator(void){
  3193. T0* R=NULL;
  3194. R=((T0*)ms37_473);
  3195. return R;
  3196. }
  3197. int r574is_static(T574* C){
  3198. int R=0;
  3199. /*IF*/if (X291is_integer((((T574*)C))->_result_type/*20*/)) {
  3200. /*IF*/if ((X662is_static((((T574*)C))->_target/*12*/))&&(X662is_static(r574arg1(C)))) {
  3201. R=1;
  3202. C->_static_value_mem=(X662static_value((((T574*)C))->_target/*12*/))-(X662static_value(r574arg1(C)));
  3203. }
  3204. /*FI*/}
  3205. /*FI*/return R;
  3206. }
  3207. /*No:CALL_INFIX_MINUS.fz_07*/
  3208. /*No:CALL_INFIX_MINUS.can_be_dropped*/
  3209. /*No:CALL_INFIX_MINUS.us_minus*/
  3210. /*No:CALL_INFIX_MINUS.current_type*/
  3211. void r574compile_to_c_old(T574* C){
  3212. X662compile_to_c_old((((T574*)C))->_target/*12*/);
  3213. /*IF*/{/*AT*/X431compile_to_c_old((((T574*)C))->_arguments/*24*/);
  3214. }
  3215. /*FI*/}
  3216. /*No:CALL_INFIX_MINUS.static_value_mem*/
  3217. void r574make_call_1(T574* C,T0* a1,T0* a2,T0* a3){
  3218. C->_target=a1;
  3219. C->_feature_name=a2;
  3220. C->_arguments=a3;
  3221. }
  3222. /*No:CALL_INFIX_MINUS.is_manifest_string*/
  3223. /*No:CALL_INFIX_MINUS.is_void*/
  3224. void r574to_runnable_0(T574* C,T0* a1){
  3225. C->_current_type=a1;
  3226. r574cpc_to_runnable(C,a1);
  3227. C->_result_type=/*X496*/((T0*)(((T832*)((T832*)((((T574*)C))->_run_feature/*16*/))))->_result_type/*24*/);
  3228. /*IF*/if (((((T574*)C))->_result_type/*20*/)==((void*)(NULL))) {
  3229. r683add_position(X496start_position((((T574*)C))->_run_feature/*16*/));
  3230. r574error((((T454*)((T454*)((((T574*)C))->_feature_name/*28*/))))->_start_position/*8*/,((T0*)ms1_295));
  3231. }
  3232.  else if (X291is_like_current((((T574*)C))->_result_type/*20*/)) {
  3233. C->_result_type=X662result_type((((T574*)C))->_target/*12*/);
  3234. }
  3235. /*FI*/}
  3236. /*No:CALL_INFIX_MINUS.is_pre_computable*/
  3237. void r574cpc_to_runnable(T574* C,T0* a1){
  3238. T0* _rc=NULL;
  3239. T0* _t=NULL;
  3240. _t=X662to_runnable((((T574*)C))->_target/*12*/,a1);
  3241. /*IF*/if ((_t)==((void*)(NULL))) {
  3242. r683add_position(X662start_position((((T574*)C))->_target/*12*/));
  3243. /*[IRF3.6fatal_error*/{T0* b1=((T0*)ms2_135);
  3244. r683fatal_error(((T683*)(oBC364eh)),b1);
  3245. }/*]*/
  3246. }
  3247. /*FI*/C->_target=_t;
  3248. _rc=X291run_class(X662result_type((((T574*)C))->_target/*12*/));
  3249. C->_run_feature=r355get_rf(((T355*)_rc),(T0*)C);
  3250. r576update((((T574*)C))->_target/*12*/,(((T574*)C))->_run_feature/*16*/);
  3251. }
  3252. int r574use_current(T574* C){
  3253. int R=0;
  3254. /*IF*/{/*AT*/R=X431use_current((((T574*)C))->_arguments/*24*/);
  3255. }
  3256. /*FI*//*IF*/if (R) {
  3257. }
  3258.  else if (X662is_current((((T574*)C))->_target/*12*/)) {
  3259. R=X496use_current((((T574*)C))->_run_feature/*16*/);
  3260. }
  3261. else {
  3262. R=X662use_current((((T574*)C))->_target/*12*/);
  3263. }
  3264. /*FI*/return R;
  3265. }
  3266. void r574finalize(T574* C){
  3267. T0* _rf=NULL;
  3268. T0* _rc=NULL;
  3269. _rf=(((T574*)C))->_run_feature/*16*/;
  3270. _rc=X291run_class(/*X496*/((T0*)(((T832*)((T832*)_rf)))->_current_type/*4*/));
  3271. /*IF*/if (!((((T355*)((T355*)_rc)))->_at_run_time/*8*/)) {
  3272. _rf=r355dynamic(((T355*)(r396first(((T396*)((((T355*)((T355*)_rc)))->_running/*12*/))))),_rf);
  3273. C->_run_feature=_rf;
  3274. }
  3275. /*FI*/}
  3276. void r574error(T0* a1,T0* a2){
  3277. r683add_position(a1);
  3278. r683error(((T683*)(oBC364eh)),a2);
  3279. }
  3280. int r574isa_dca_inline_argument(T574* C){
  3281. int R=0;
  3282. R=X662isa_dca_inline_argument((((T574*)C))->_target/*12*/);
  3283. /*IF*/if ((R)==(-(1))) {
  3284. R=X662isa_dca_inline_argument(r574arg1(C));
  3285. }
  3286.  else if ((R)>(0)) {
  3287. /*IF*/if ((X662isa_dca_inline_argument(r574arg1(C)))>=(0)) {
  3288. R=0;
  3289. }
  3290. /*FI*/}
  3291. /*FI*/return R;
  3292. }
  3293. /*No:CALL_INFIX_MINUS.fatal_error*/
  3294. /*No:CALL_INFIX_MINUS.fz_bad_argument*/
  3295. T0* r574arg1(T574* C){
  3296. T0* R=NULL;
  3297. R=X431first((((T574*)C))->_arguments/*24*/);
  3298. return R;
  3299. }
  3300. void r574afd_check(T574* C){
  3301. T0* _running=NULL;
  3302. T0* _rc=NULL;
  3303. _rc=X291run_class(X662result_type((((T574*)C))->_target/*12*/));
  3304. _running=(((T355*)((T355*)_rc)))->_running/*12*/;
  3305. /*IF*/if ((_running)==((void*)(NULL))) {
  3306. r683add_position(X662start_position((((T574*)C))->_target/*12*/));
  3307. /*[IRF3.6append*/{T0* b1=((T0*)ms1_135);
  3308. r7append(((T7*)(oBC683explanation)),b1);
  3309. }/*]*/
  3310. /*[IRF3.6append*/{T0* b1=X291run_time_mark((((T355*)((T355*)_rc)))->_current_type/*0*/);
  3311. r7append(((T7*)(oBC683explanation)),b1);
  3312. }/*]*/
  3313. /*[IRF3.6append*/{T0* b1=((T0*)ms141_470);
  3314. r7append(((T7*)(oBC683explanation)),b1);
  3315. }/*]*/
  3316. r683print_as_warning(((T683*)(oBC364eh)));
  3317. r355set_at_run_time(((T355*)_rc));
  3318. }
  3319.  else if ((r396count(((T396*)_running)))>(0)) {
  3320. r576update((((T574*)C))->_target/*12*/,(((T574*)C))->_run_feature/*16*/);
  3321. }
  3322. /*FI*/X662afd_check((((T574*)C))->_target/*12*/);
  3323. /*IF*/{/*AT*/X431afd_check((((T574*)C))->_arguments/*24*/);
  3324. }
  3325. /*FI*/}
  3326. void r576update_with(T0* a1){
  3327. T0* _running=NULL;
  3328. T0* _dictionary2=NULL;
  3329. T0* _key2=NULL;
  3330. T0* _key1=NULL;
  3331. T0* _current_type=NULL;
  3332. _current_type=/*X496*/((T0*)(((T832*)((T832*)a1)))->_current_type/*4*/);
  3333. _running=(((T355*)((T355*)(X291run_class(_current_type)))))->_running/*12*/;
  3334. /*IF*/if (((_running)!=((void*)(NULL)))&&((r396count(((T396*)_running)))>(1))) {
  3335. _key1=X291run_time_mark(_current_type);
  3336. _key2=X776to_key(/*X496*/((T0*)(((T832*)((T832*)a1)))->_name/*16*/));
  3337. /*IF*/if (r338has(((T338*)(oBC576dictionary)),_key1)) {
  3338. _dictionary2=r338at(((T338*)(oBC576dictionary)),_key1);
  3339. /*IF*/if (!(r199has(((T199*)_dictionary2),_key2))) {
  3340. r199put(((T199*)_dictionary2),a1,_key2);
  3341. }
  3342. /*FI*/}
  3343. else {
  3344. {T199*n=malloc(sizeof(*n));
  3345. *n=M199;
  3346. r199make(n);
  3347. _dictionary2=(T0*)n;
  3348. }
  3349. r199put(((T199*)_dictionary2),a1,_key2);
  3350. r338put(((T338*)(oBC576dictionary)),_dictionary2,_key1);
  3351. }
  3352. /*FI*/}
  3353. /*FI*/}
  3354. /*No:SWITCH_COLLECTION.falling_down*/
  3355. /*No:SWITCH_COLLECTION.c_define*/
  3356. void r576remove(T0* a1){
  3357. T0* _dictionary2=NULL;
  3358. T0* _key2=NULL;
  3359. T0* _key1=NULL;
  3360. T0* _current_type=NULL;
  3361. _current_type=/*X496*/((T0*)(((T832*)((T832*)a1)))->_current_type/*4*/);
  3362. _key1=X291run_time_mark(_current_type);
  3363. /*IF*/if (r338has(((T338*)(oBC576dictionary)),_key1)) {
  3364. _dictionary2=r338at(((T338*)(oBC576dictionary)),_key1);
  3365. _key2=X776to_key(/*X496*/((T0*)(((T832*)((T832*)a1)))->_name/*16*/));
  3366. r199remove(((T199*)_dictionary2),_key2);
  3367. }
  3368. /*FI*/}
  3369. void r576update(T0* a1,T0* a2){
  3370. T0* _running=NULL;
  3371. T0* _current_type=NULL;
  3372. /*IF*/if (X662is_current(a1)) {
  3373. }
  3374.  else if (X662is_manifest_string(a1)) {
  3375. }
  3376. else {
  3377. _current_type=/*X496*/((T0*)(((T832*)((T832*)a2)))->_current_type/*4*/);
  3378. /*IF*/if (X291is_reference(_current_type)) {
  3379. _running=(((T355*)((T355*)(X291run_class(_current_type)))))->_running/*12*/;
  3380. /*IF*/if (((_running)!=((void*)(NULL)))&&((r396count(((T396*)_running)))>(1))) {
  3381. r576update_with(a2);
  3382. }
  3383. /*FI*/}
  3384. /*FI*/}
  3385. /*FI*/}
  3386. T0*oBC576dictionary=NULL;
  3387. /*No:CALL_INFIX_IMPLIES.arguments*/
  3388. T0* r90add_comment(T90* C,T0* a1){
  3389. T0* R=NULL;
  3390. /*IF*/if (((a1)==((void*)(NULL)))||((/*(IRF4.6count*/r52count(((T52*)((((T393*)((T393*)a1)))->_list/*4*/)))/*)*/)==(0))) {
  3391. R=(T0*)C;
  3392. }
  3393. else {
  3394. {T529*n=malloc(sizeof(*n));
  3395. *n=M529;
  3396. r529make(n,(T0*)C,a1);
  3397. R=(T0*)n;
  3398. }
  3399. }
  3400. /*FI*/return R;
  3401. }
  3402. int r90to_integer(T90* C){
  3403. int R=0;
  3404. r90error(/*(IRF4.6start_position*/(((T454*)((T454*)((((T90*)C))->_feature_name/*28*/))))->_start_position/*8*//*)*/,((T0*)ms69_470));
  3405. return R;
  3406. }
  3407.  
  3408.